1. MOP website, LTL plugin, http://fsl.cs.uiuc.edu/mop/repository.jsp?ltype=LTL
2. Artho, C., Drusinsky, D., Goldberg, A., Havelund, K., Lowry, M., Păsăreanu, C., Roşu, G., Visser, W., Washington, R.: Automated Testing using Symbolic Execution and Temporal Monitoring. Theoretical Computer Sci. (2005) (to appear)
3. Lecture Notes in Computer Science;H. Barringer,2004
4. Beer, I., Ben-David, S., Landver, A.: On-the-Fly Model Checking of RCTL Formulas. In: CAV 1998, pp. 184–194. Springer, Heidelberg (1998)
5. Büchi, J.R.: On a Decision Method in Restricted Second Order Arithmetic. In: Logic, Methodology and Philosophy of Sciences. Stanford University Press, Stanford (1962)