On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language | IEEE Journals & Magazine | IEEE Xplore