1. Debabi, M.: The RSL semantic course (1993)
2. Gastin, P., Oddoux, D.: ltl2ba tool,
http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/index.php
3. Lecture Notes in Computer Science;P. Gastin,2001
4. George, C.: RAISE Tools User Guide. Technical Report 227, UNU-IIST, P.O. Box 3058, Macau (February 2001),
http://www.iist.unu.edu
5. The RAISE Language Group. The RAISE Specification Language. Prentice-Hall, Englewood Cliffs (1992)