Analysis of Real-Time Programs with Simple Time Petri Nets.

Ugo A. Buy, Robert H. Sloan

Browse the full ISSTA paper archive.