Lorenzo Dematté, Corrado Priami, Alessandro Romanel, Orkun S. Soyer: A Formal and Integrated Framework to Simulate Evolution of Biological Pathways. CMSB 2007: 106-120