1. Lecture Notes in Computer Science;O. Kupferman,1999
2. IEEE Std 1850-2007: Standard for Property Specification Language (PSL). IEEE, New York (2007)
3. Cohen, B., Venkataramanan, S., Kumari, A.: Using PSL/Sugar for Formal and Dynamic Verification. VhdlCohen Publishing, Los Angeles (2004)
4. Kleene, S.: Representation of events in nerve nets and finite automata. In: Automata Studies. Princeton University Press, Princeton (1956)
5. Research Monograph;R. McNaughton,1971