L. de Alfaro & T. A. Henzinger (2001):
Interface automata.
In: FSE.
ACM Press,
pp. 109–120.
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.
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.
Christel Baier & Joost-Pieter Katoen (2008):
Principles of Model Checking.
The MIT Press.
Jan A. Bergstra, Alban Ponse & Scott A. Smolka (2001).
Elsevier.
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.
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.
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.
K. G. Larsen (1989):
Modal Specifications.
In: AVMS,
LNCS 407.
Springer,
pp. 232–246.
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.
J-B. Raclet, E. Badouel, A. Benveniste, B. Caillaud, A. Legay & R. Passerone (2009):
Modal Interfaces: Unifying Interface Automata and Modal Specifications.
In: EMSOFT.