Jasmin Fisher Thomas A. Henzinger Maria Mateescu Nir Piterman Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. 17-32 2008 FMSB http://dx.doi.org/10.1007/978-3-540-68413-8_2 conf/fmsb/2008 db/conf/fmsb/fmsb2008.html#FisherHMP08