Laura Carnevali, Luigi Sassoli, Enrico Vicario. Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software. In 19th Euromicro Conference on Real-Time Systems, ECRTS 07, 4-6 July 2007, Pisa, Italy, Proceedings. pages 291-300, IEEE Computer Society, 2007. [doi]
Abstract is missing.