Michele Curti Davide Prandi Linda Brodo Formal Executable Descriptions of Biological Systems. 2-12 2005 conf/qest/2005 QEST http://doi.ieeecomputersociety.org/10.1109/QEST.2005.13 db/conf/qest/qest2005.html#CurtiPB05