1. The temporal logic of programs;Pnueli,1977
2. Patterns in property specifications for finite-state verification;Dwyer,1999
3. Aligning qualitative, real-time, and probabilistic property specification patterns using a structured English grammar;Autili;IEEE Trans. Softw. Eng.,2015
4. Patterns for timed property specifications;Gruhn;Electron. Notes Theor. Comput. Sci.,2006
5. On the understandability of temporal properties formalized in linear temporal logic, property specification patterns and event processing language;Czepa;IEEE Trans. Softw. Eng.,2018