Rajeev Alur Calin Belta Franjo Ivancic Hybrid Modeling and Simulation of Biomolecular Networks. 19-32 2001 conf/hybrid/2001 HSCC http://link.springer.de/link/service/series/0558/bibs/2034/20340019.htm db/conf/hybrid/hscc2001.html#AlurBI01