Luca de Alfaro & Thomas A. Henzinger (2005):
Interface-Based Design.
In: Engineering Theories of Software Intensive Systems,
NATO Science Series 195.
Springer,
pp. 83–104,
doi:10.1007/1-4020-3532-2_3.
Rajeev Alur, Thomas A. Henzinger, Orna Kupferman & Moshe Y. Vardi (1998):
Alternating Refinement Relations.
In: Concur'98.
Springer,
pp. 163–178,
doi:10.1007/BFb0055622.
Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi & Stefania Gnesi (2011):
A Model-Checking Tool for Families of Services.
In: LNCS 6722,
pp. 44–58,
doi:10.1007/978-3-642-21461-5_3.
Sebastian S. Bauer, Rolf Hennicker & Stephan Janisch (2011):
Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems.
EPTCS 46,
pp. 1–8,
doi:10.4204/EPTCS.46.1.
Axel Belinfante (2010):
JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution..
In: Javier Esparza & Rupak Majumdar: TACAS,
LNCS 6015.
Springer,
pp. 266–270.
Harsh Beohar & Mohammad Reza Mousavi (2014):
Input-output Conformance Testing Based on Featured Transition Systems.
In: Proc. of SAC'14.
ACM,
New York, NY, USA,
pp. 1272–1278,
doi:10.1145/2554850.2554949.
Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens & Axel Legay (2011):
Symbolic Model Checking of Software Product Lines.
In: ICSE'11,
pp. 321–330,
doi:10.1145/1985793.1985838.
Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay & Jean-François Raskin (2010):
Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines.
In: ICSE '10,
pp. 335–344,
doi:10.1145/1806799.1806850.
Paul Clements & Linda Northrop (2001):
Software Product Lines: Practices and Patterns.
Addison-Wesley Longman Publishing Co., Inc..
Dario Fischbein, Sebastián Uchitel & Víctor A. Braberman (2006):
A Foundation for Behavioural Conformance in Software Product Line Architectures.
In: Robert M. Hierons & Henry Muccini: ISSTA'06.
ACM,
pp. 39–48,
doi:10.1145/1147249.1147254.
Kim G. Larsen (1990):
Modal Specifications.
In: Automatic Verification Methods for Finite State Systems,
LNCS 407.
Springer,
pp. 232–246,
doi:10.1007/3-540-52148-8_19.
Kim G. Larsen, Ulrik Nyman & Andrzej Wasowski (2007):
Modal I/O Automata for Interface and Product Line Theories.
In: Proc. of ESOP'07,
LNCS 4421.
Springer,
pp. 64–79,
doi:10.1007/978-3-540-71316-6_6.
Kim G. Larsen & Bent Thomsen (1988):
A Modal Process Logic.
In: LICS,
pp. 203–210.
Malte Lochau, Sven Peldszus, Matthias Kowal & Ina Schaefer (2014):
Model-Based Testing.
In: Formal Methods for Executable Software Models,
LNCS 8483.
Springer,
pp. 310–342,
doi:10.1007/978-3-319-07317-0_8.
Rocco de Nicola (1987):
Extensional equivalences for transition systems.
Acta Informatica 237,
pp. 211–237,
doi:10.1007/BF00264365.
Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay & Roberto Passerone (2009):
Modal Interfaces: Unifying Interface Automata and Modal Specifications.
In: EMSOFT'09.
ACM,
pp. 87–96,
doi:10.1145/1629335.1629348.
Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay & Roberto Passerone (2011):
A Modal Interface Theory for Component-based Design.
Fundam. Inf. 108,
pp. 119–149.
Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer & Gunter Saake (2014):
A Classification and Survey of Analysis Strategies for Software Product Lines.
ACM Comput. Surv. 47,
pp. 6:1–6:45,
doi:10.1145/2580950.
Jan Tretmans (1996):
Test Generation with Inputs, Outputs and Repetitive Quiescence.
Software – Concepts and Tools 17(3),
pp. 103–120.
Frits W. Vaandrager (1991):
On the Relationship Between Process Algebra and Input/Output Automata.
In: Proc. of LICS '91,
pp. 387–398,
doi:10.1109/LICS.1991.151662.