Ekkart Kindler, Tobias Vesper. ESTL: A Temporal Logic for Events and States. In Jörg Desel, Manuel Silva, editors, Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN 98, Lisbon, Portugal, June 22-26, 1998, Proceedings. Volume 1420 of Lecture Notes in Computer Science, pages 365-384, Springer, 1998. [doi]
Abstract is missing.