Federica Ciocchetta Andrea Degasperi Jane Hillston Muffy Calder Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA. 145-163 2009 229 Electr. Notes Theor. Comput. Sci. 1 http://dx.doi.org/10.1016/j.entcs.2009.02.010 db/journals/entcs/entcs229.html#CiocchettaDHC09