@inproceedings{ZBCV-savcbs05,
 address = {Lisbon, Portugal},
 author = {Barbora Zimmerová and Luboš Brim and  Ivana Černá 
and Pavlína Vařeková},
 booktitle = {Specification and Verification of
Component-Based Systems (SAVCBS 05)},
 editor = {G. T. Leavens},
 month = {Sep.},
 pages = {31-38},
 title = {{Component-Interaction Automata as a Verification-Oriented 
Component-Based System Specification}},
 year = {2005}
}