George Hassapis
-
Modeling and verification of a class of real-time systems by the use of high level petri nets
Journal of Systems and Software