1. Alavi, H., Avrunin, G., Corbett, J., Dillon, L., Dwyer, M., Pasareanu, C.: Spec patterns (2017).
http://patterns.projects.cs.ksu.edu/documentation/patterns/ltl.shtml
2. Antonik, A., Huth, M.: Efficient patterns for model checking partial state spaces in CTL $$\cap $$ LTL. Electron. Notes Theor. Comput. Sci. 158, 41–57 (2006)
3. Arcaini, P., Bonfanti, S., Gargantini, A., Mashkoor, A., Riccobene, E.: Formal validation and verification of a medical software critical component. In: Formal Methods and Models for Codesign, pp. 80–89. IEEE (2015)
4. Bernasconi, A., Menghi, C., Spoletini, P., Zuck, L., Ghezzi, C.: From model checking to a temporal proof for partial models: preliminary example (2017). arXiv preprint
arXiv:1706.02701
5. Lecture Notes in Computer Science;G Bruns,1999