1. Lect Notes Comput Sci;R. Alur,1998
2. Lect Notes Comput Sci;A. Arnold,2003
3. AT & T Labs-Research. Graphviz. http://www.research.att.com/sw/tools/graphviz/ .
4. R. Bloem. Wring: an LTL to Buechi translator. URL: http://vlsi.colorado.edu/~rbloem/wring.html .
5. Lect Notes Comput Sci;D. L. Dill,1991