Marco Gribaudo András Horváth Andrea Bobbio Enrico Tronci Ester Ciancamerla Michele Minichino Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant. 273-283 2002 conf/safecomp/2002 SAFECOMP http://link.springer.de/link/service/series/0558/bibs/2434/24340273.htm db/conf/safecomp/safecomp2002.html#GribaudoHBTCM02