1. Abadi, M., Lamport, L., Wolper, P., 1989. Realizable and unrealizable specifications of reactive systems. In: Ausiello, G., Dezani-Ciancaglini, M., Ronchi Della Rocca, S. (Eds.), Proceedings of the 16th International Colloquium on Automata, Languages, and Programming, Lecture Notes in Computer Science, vol. 372, Springer, Berlin, pp. 1–17
2. Aho, A.V., Ullman, J.D., 1972. The Theory of Parsing, Translation and Compiling, vol. I: Parsing. Prentice-Hall, Englewood Cliffs, NJ
3. Compilers: Principles, Techniques, and Tools;Aho,1986
4. Aho, A.V., Gallagher, S., Griffeth, N., Schell, C., Swayne, D., 1998. SCF3TM/Sculptor with Chisel: Requirements engineering for communications services. In: Kimbler, K., Bouma, L.G. (Eds.), Feature Interactions in Telecommunications and Software Systems V. IOS Press, Amsterdam, pp. 45–63
5. Asarin, E., Maler, O., Pnueli, A., 1995. Symbolic controller synthesis for discrete and timed systems. In: Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (Eds.), Hybrid Systems II, Lecture Notes in Computer Science, vol. 999, Springer, Berlin, pp. 1–20