L. de Alfaro & T. A. Henzinger (2001):
Interface Automata.
In: Proceedings of FSE'01.
ACM Press,
pp. 109–120,
doi:10.1145/503209.503226.
J. Barnat, L. Brim & P. Ročkai (2010):
Parallel Partial Order Reduction with Topological Sort Proviso.
In: Software Engineering and Formal Methods (SEFM 2010).
IEEE Computer Society Press,
pp. 222–231,
doi:10.1109/SEFM.2010.35.
J. Barnat, L. Brim, M. Češka & P. Ročkai (2010):
DiVinE: Parallel Distributed Model Checker (Tool paper).
In: HiBi/PDMC 2010.
IEEE,
pp. 4–7.
N. Beneš, L. Brim, I. Černá, J. Sochor, P. Vařeková & B. Zimmerova (2009):
Partial Order Reduction for State/Event LTL.
In: IFM'09,
LNCS 5423.
Springer,
pp. 307–321,
doi:10.1007/978-3-642-00255-7_21.
N. Beneš, I. Černá, J. Sochor, P. Vařeková & B. Zimmerova (2008):
A Case Study in Parallel Verification of Component-Based Systems.
ENTCS 220(2),
doi:10.1016/j.entcs.2008.11.014.
L. Brim, I. Černá, P. Vařeková & B. Zimmerova (2006):
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification.
ACM SIGSOFT Software Engineering Notes 31(2),
doi:10.1145/1108768.1123063.
M. Lumpe, L. Grunske & J. Schneider (2008):
State Space Reduction Techniques for Component Interfaces.
In: CBSE 2008,
LNCS 5282.
Springer,
pp. 130–145,
doi:10.1007/978-3-540-87891-9_9.
N. A. Lynch & M. R. Tuttle (1989):
An introduction to input/output automata.
CWI Quarterly 2.
B. Zimmerova, P. Vařeková, N. Beneš, I. Černá, L. Brim & J. Sochor (2008):
Component-Interaction Automata Approach (CoIn).
In: The Common Component Modeling Example,
LNCS 5153.
Springer,
pp. 146–176,
doi:10.1007/978-3-540-85289-6_7.