1. Accellera Organization, Inc. Property Specification Language Reference Manual, Version 1.01 (2003), http://www.accellera.org/
2. Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. MIT Press, Cambridge (2000)
3. Chandra, A.K., Kozen, D.C., Stockmeyer, L.J.: Alternation. Journal of ACM 28(1), 114–133 (1981)
4. Bustan, D., Fisman, D., Havlicek, J.: Automata Construction for PSL (2005), http://www.wisdom.weizmann.ac.il/~dana/publicat/automta_constructionTR.pdf
5. Lecture Notes in Computer Science;M. d’Amorim,2005