Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software | IEEE Conference Publication | IEEE Xplore