Integrating diverse reaction types into stochastic models — A signaling pathway case study in the Imperative π-Calculus | IEEE Conference Publication | IEEE Xplore