1. L. de Alfaro & T. A. Henzinger (2001): Interface automata. In: FSE. ACM Press, pp. 109–120.
  2. Luca de Alfaro & Thomas A. Henzinger (2001): Interface Theories for Component-Based Design. In: Thomas A. Henzinger & Christoph M. Kirsch: EMSOFT, Lecture Notes in Computer Science 2211. Springer, pp. 148–165.
  3. Luca de Alfaro, Thomas A. Henzinger & Mariëlle Stoelinga (2002): Timed Interfaces. In: Alberto L. Sangiovanni-Vincentelli & Joseph Sifakis: EMSOFT, Lecture Notes in Computer Science 2491. Springer, pp. 108–122.
  4. Christel Baier & Joost-Pieter Katoen (2008): Principles of Model Checking. The MIT Press.
  5. Jan A. Bergstra, Alban Ponse & Scott A. Smolka (2001). Elsevier.
  6. Benoit Caillaud, Beno^it Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen & Andrzej Wasowski (2010): Compositional Design Methodology with Constraint Markov Chains. In: QEST'10. To appear.
  7. Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman & Andrzej Wasowski (2010): Timed I/O automata: a complete specification theory for real-time systems. In: Karl Henrik Johansson & Wang Yi: HSCC. ACM ACM, pp. 91–100.
  8. G. Goessler & J.-B. Raclet (2009): Modal Contracts for Component-based Design. In: Proc. of the 7th IEEE International Conference on Softwar e Engineering and Formal Methods (SEFM'09). IEEE Computer Society Press, Hanoi, Vietnam. To appear.
  9. K. G. Larsen (1989): Modal Specifications. In: AVMS, LNCS 407. Springer, pp. 232–246.
  10. Kim Guldstrand Larsen, Ulrik Nyman & Andrzej Wasowski (2007): Modal I/O Automata for Interface and Product Line Theories. In: ESOP, LNCS. Springer, pp. 64–79.
  11. J-B. Raclet, E. Badouel, A. Benveniste, B. Caillaud, A. Legay & R. Passerone (2009): Modal Interfaces: Unifying Interface Automata and Modal Specifications. In: EMSOFT.

Comments and questions to:
For website issues: