Ciocchetta, et al.. Integrated Simulation and Model-checking for the Analysis of Biochemical Systems. Elsevier BV, 2009, doi:10.1016/j.entcs.2009.02.048.