Marius Kloetzer Cristian Mahulea Calin Belta Laura Recalde Manuel Silva Formal analysis of timed continuous Petri nets. 245-250 2008 CDC http://dx.doi.org/10.1109/CDC.2008.4739054 conf/cdc/2008 db/conf/cdc/cdc2008.html#KloetzerMBRS08