Marco Antoniotti Bhubaneswar Mishra Carla Piazza Alberto Policriti Marta Simeoni Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing. 57-74 2003 conf/cmsb/2003 CMSB http://link.springer.de/link/service/series/0558/bibs/2602/26020057.htm db/conf/cmsb/cmsb2003.html#AntoniottiMPPS03