1. Alberts B, Johnson A, Lewis J, Raff M, Roberts K, Walter P (2002) The compartmentalization of cells. Garland Science; Ch 12
2. Althoff M (2015) An introduction to cora 2015. In Proc. of the workshop on applied verification for continuous and hybrid systems, 34:120–151
3. Althoff M, Stursberg O, Buss M (2008) Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. 47th IEEE conference on decision and control. IEEE, pp 4042–4048
4. Bartocci E, Lio P (2016) Computational modeling, formal analysis, and tools for systems biology. PLoS Comput Biol 12(1):e1004591
5. Batt G, Ropers D, De Jong H, Geiselmann J, Mateescu R, Page M, Schneider D, et al (2005) Analysis and verification of qualitative models of genetic regulatory networks: a model-checking approach. IJCAI’05 Proceedings of the 19th international joint conference on Artificial intelligence, pp 370–375