Brim, et al.. Model Checking of Biological Systems. Springer Berlin Heidelberg, 2013, doi:10.1007/978-3-642-38874-3_3.