1. Clark E M, Grumberg O, Peled D et al. Model Checking. Cambridge, MA: The MIT Press, 1999
2. LNCS;E. M. Clarke,2000
3. LNCS;M. M. Gallardo,2002
4. Gallardo M M, Merino P, Pimentel E. Comparing under-and over-approximations of LTL properties for model checking. In: Proceedings of 11th International Workshop on Functional and Logic Programming, ENTCS-76. Amsterdam: Elsevier, 2002
5. Gallardo M M, Merino P, Pimentel E. A tool for abstraction in model checking. In: Proceedings of 7th International Workshop on Formal Methods for Industral Critical Systems, ENTCS-76. Amsterdam: Elsevier, 2002