1. de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of the 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, pp. 109–120, Vienna, Austria (2001)
2. LNCS;E Asarin,1995
3. Aziz, A., Singhal, V., Swamy, G.M., Brayton, R.K.: Minimizing interacting finite state machines: a compositional approach to language containment. In: Proceedings of the IEEE International Conference on Computer Design: VLSI in Computers and Processors, ICCD ’94, pp. 255–261 (1994)
4. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
5. LNCS;C Baier,2011