Luca de Alfaro
Thomas A. Henzinger
2005
Interface-Based Design
Engineering Theories of Software Intensive Systems
NATO Science Series
195
Springer
83–104
10.1007/1-4020-3532-2_3
Rajeev Alur
Thomas A. Henzinger
Orna Kupferman
Moshe Y. Vardi
1998
Alternating Refinement Relations
Concur'98
Springer
163–178
10.1007/BFb0055622
Patrizia Asirelli
Maurice H. ter Beek
Alessandro Fantechi
Stefania Gnesi
2011
A Model-Checking Tool for Families of Services
LNCS 6722
44–58
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
1–8
10.4204/EPTCS.46.1
Axel Belinfante
2010
JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution.
Javier Esparza
Rupak Majumdar
TACAS
LNCS
6015
Springer
266–270
Harsh Beohar
Mohammad Reza Mousavi
2014
Input-output Conformance Testing Based on Featured Transition Systems
Proc. of SAC'14
ACM
New York, NY, USA
1272–1278
10.1145/2554850.2554949
Andreas Classen
Patrick Heymans
Pierre-Yves Schobbens
Axel Legay
2011
Symbolic Model Checking of Software Product Lines
ICSE'11
321–330
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
ICSE '10
335–344
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
Robert M. Hierons
Henry Muccini
ISSTA'06
ACM
39–48
10.1145/1147249.1147254
Kim G. Larsen
1990
Modal Specifications
Automatic Verification Methods for Finite State Systems
LNCS
407
Springer
232–246
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
Proc. of ESOP'07
LNCS 4421
Springer
64–79
10.1007/978-3-540-71316-6_6
Kim G. Larsen
Bent Thomsen
1988
A Modal Process Logic
LICS
203–210
Malte Lochau
Sven Peldszus
Matthias Kowal
Ina Schaefer
2014
Model-Based Testing
Formal Methods for Executable Software Models
LNCS
8483
Springer
310–342
10.1007/978-3-319-07317-0_8
Gerald Lüttgen
Walter Vogler
2013
Modal Interface Automata
LMCS
9
Rocco de Nicola
1987
Extensional equivalences for transition systems
Acta Informatica
237
211–237
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
EMSOFT'09
ACM
87–96
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
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
6:1–6:45
10.1145/2580950
Jan Tretmans
1996
Test Generation with Inputs, Outputs and Repetitive Quiescence
Software – Concepts and Tools
17
3
103–120
Frits W. Vaandrager
1991
On the Relationship Between Process Algebra and Input/Output Automata
Proc. of LICS '91
387–398
10.1109/LICS.1991.151662