W. Reisig
-
ESTL: A Temporal Logic for Events and States
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Adding Partial Orders to Linear Temporal Logic
Fundamenta Informaticae