@inbook{BCS2013,
 address = {Berlin, Heidelberg},
 author = {Luboš Brim and Milan Češka and David Šafránek},
 booktitle = {Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures},
 doi = {10.1007/978-3-642-38874-3_3},
 editor = {Bernardo, Marco
and de Vink, Erik
and Di Pierro, Alessandra
and Wiklicky, Herbert},
 isbn = {978-3-642-38874-3},
 pages = {63--112},
 publisher = {Springer Berlin Heidelberg},
 title = {Model Checking of Biological Systems},
 url = {http://dx.doi.org/10.1007/978-3-642-38874-3_3},
 year = {2013}
}