1. Principles of Model Checking;Baier,2008
2. Adaptive moment closure for parameter inference of biochemical reaction networks;Bogomolov,2015
3. Model checking of biological systems;Brim,2013
4. NuSMV 2: an opensource tool for symbolic model checking;Cimatti,2002
5. Relating hierarchy of temporal properties to model checking;Černá,2003