1. Al-Bataineh, O.I., Rosenblum, D.: Efficient decentralized LTL monitoring framework using tableau approach. CoRR, abs/1803.02051 (2018)
2. Alavi, H., Avrunin, J.G., Corbett, L.D., Dwyer, M., Pasareanu, C.: Specification patterns website (2011).
http://patterns.projects.cis.ksu.edu/
3. Lecture Notes in Computer Science;R Armoni,2003
4. Bacchus, F., Kabanza, F.: Planning for temporally extended goals. In: Proceedings of the Thirteenth National Conference on Artificial Intelligence, pp. 1215–1222 (1996)
5. Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. (TOSEM) 20, 14:1–14:64 (2011)