1. IEEE standard for Property Specification Language (PSL). IEEE Std 1850TM (October 2005)
2. IEEE standard for SystemVerilog—unified hardware design, specification, and verification language. IEEE Std 1800TM (November 2005)
3. Lecture Notes in Computer Science;R. Armoni,2002
4. Lecture Notes in Computer Science;B. Banieqbal,1989
5. Ben-David, S., Bloem, R., Fisman, D., Griesmayer, A., Pill, I., Ruah, S.: Automata construction algorithms optimized for PSL. Technical report, The Prosyd Project (2005),
http://www.prosyd.org