Valeria Perelman, Judith Somekh, Dov Dori. Model verification framework with application to molecular biology. In Gabriel Andrés Wainer, Mamadou K. Traoré, Reiko Heckel, Jan Himmelspach, editors, 2011 Spring Simulation Multi-conference, SpringSim '11, Boston, MA, USA, April 03-07, 2011. Volume 4: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (TMS-DEVS). pages 140-145, SCS/ACM, 2011. [doi]