# On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language

> Research article (IEEE Transactions on Software Engineering, 2018) · cited 35× · AI/ML

**Wikidata**: [openalex:W2884095124](https://www.wikidata.org/wiki/openalex:W2884095124)  
**Source**: https://4ort.xyz/entity/on-the-understandability-of-temporal-properties-formalized-in-linear-temporal-logic-property-specification-patterns-and-