Laura Carnevali Luigi Sassoli Enrico Vicario Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software. 291-300 2007 conf/ecrts/2007 ECRTS http://doi.ieeecomputersociety.org/10.1109/ECRTS.2007.86 db/conf/ecrts/ecrts2007.html#CarnevaliSV07