L. de Alfaro, M. Faella & M. Stoelinga (2009):
Linear and Branching System Metrics.
IEEE Trans. Software Eng. 35(2),
pp. 258–273,
doi:10.1109/TSE.2008.106.
L. de Alfaro & T. Henzinger (2001):
Interface automata.
In: ESEC / FSE,
pp. 109–120,
doi:10.1145/503225.503226.
L. de Alfaro & T. Henzinger (2005):
Interface-based design.
Engineering theories of software intensive systems,
pp. 83–104,
doi:10.1007/1-4020-3532-2_3.
L. de Alfaro, T. Henzinger & M. Stoelinga (2002):
Timed Interfaces.
In: EMSOFT,
pp. 108–122,
doi:10.1007/3-540-45828-X_9.
L. de Alfaro, R. Majumdar, V. Raman & M. Stoelinga (2008):
Game Refinement Relations and Metrics.
Logical Methods in Computer Science 4(3),
doi:10.2168/LMCS-4(3:7)2008.
R. Alur, T. Henzinger, O. Kupferman & M. Vardi (1998):
Alternating Refinement Relations.
In: CONCUR,
pp. 163–178,
doi:10.1007/BFb0055622.
F. van Breugel (2001):
An introduction to metric semantics: operational and denotational models for programming and specification languages.
TCS 258(1-2),
pp. 1–98,
doi:10.1016/S0304-3975(00)00403-5.
P. Caspi & A. Benveniste (2002):
Toward an Approximation Theory for Computerised Control.
In: EMSOFT,
pp. 294–304,
doi:10.1007/3-540-45828-X_22.
P. Černý, T. Henzinger & A. Radhakrishna (2010):
Simulation Distances.
In: CONCUR,
pp. 253–268,
doi:10.1007/978-3-642-15375-4_18.
P. Černý, T. Henzinger & A. Radhakrishna (2012):
Simulation distances.
TCS 413(1),
pp. 21–35,
doi:10.1016/j.tcs.2011.08.002.
A. Chakrabarti, L. de Alfaro, T. Henzinger & M. Stoelinga (2003):
Resource Interfaces.
In: EMSOFT,
pp. 117–133,
doi:10.1007/978-3-540-45212-6_9.
J. Desharnais, V. Gupta, R. Jagadeesan & P. Panangaden (2004):
Metrics for labelled Markov processes.
TCS 318(3),
pp. 323–354,
doi:10.1016/j.tcs.2003.09.013.
L. Doyen, T. Henzinger, B. Jobstmann & T. Petrov (2008):
Interface theories with component reuse.
In: EMSOFT,
pp. 79–88,
doi:10.1145/1450058.1450070.
D. Harel (1987):
Statecharts: A Visual Formalism for Complex Systems.
Sci. Comput. Program. 8(3),
pp. 231–274,
doi:10.1016/0167-6423(87)90035-9.
D. Jackson (2000):
Enforcing Design Constraints with Object Logic.
In: SAS,
pp. 1–21,
doi:10.1007/978-3-540-45099-3_1.
K. Larsen, U. Nyman & A. Wasowski (2007):
Modal I/O automata for interface and product line theories.
Programming Languages and Systems,
pp. 64–79,
doi:10.1007/978-3-540-71316-6_6.
D. Yellin & R. Strom (1997):
Protocol Specifications and Component Adaptors.
ACM Trans. Program. Lang. Syst. 19(2),
pp. 292–333,
doi:10.1145/244795.244801.
U. Zwick & M. Paterson (1996):
The Complexity of Mean Payoff Games on Graphs.
Theor. Comput. Sci. 158(1&2),
pp. 343–359,
doi:10.1016/0304-3975(95)00188-3.
eptcs@eptcs.org