1. Inc. Accellera Organization. Formal semantics of Accellera property specification language. In: Appendix B (2004),
http://www.eda.org/vfv/docs/PSL-v1.1.pdf
2. Alur, R., Madhusudan, P.: Visibly pushdown languages. In: Proc. 36th Ann. ACM Symp. on Theory of Computing, STOC 2004, pp. 202–211 (2004)
3. Lecture Notes in Computer Science;R. Armoni,2002
4. Arnold, A., Vincent, A., Walukiewicz, I.: Games for synthesis of controllers with partial observation. Theor. Comput. Sci. 303(1), 7–34 (2003)
5. Lecture Notes in Computer Science;I. Beer,1998