M. L. Cobo and J. C. Augusto, “Logical foundations and implementation of an extension of temporal logic”, JCS&T, vol. 1, no. 02, p. 15 p., Mar. 2000.