Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models (1994)

by M Felder, D Mandrioli, A Morzenti
Venue:IEEE Transaction on Software Engineering