1. Object Management Group: OMG Unified Modeling Language (OMG UML), Version 2.5 (2015).
http://www.omg.org/spec/UML/2.5
2. ISO/IEC 19501:2005 - Information Technology - Open Distributed Processing - Unified Modeling Language (UML) Version 1.4.2, Iso.org., 01 April 2005. Accessed 07 May 2015
3. Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. In: Nato Advanced Study Institute on Deductive Program Design, pp. 305–349 (1996)
4. Duan, Z., Yang, X., Koutny, M.: Framed temporal logic programming. Sci. Comput. Program. 70(1), 31–61 (2008)
5. Duan, Z., Koutny, M.: A framed temporal logic programming language. J. Comput. Sci. Technol. 19, 333–344 (2004)