@inproceedings{VZ2007,
 author = {Pavelína Vařeková and Barbora Zimmerová},
 booktitle = {Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering},
 organization = {ACM},
 pages = {75--81},
 title = {Challenge Problem: Subject-Observer Specification with Component-Interaction Automata},
 year = {2007}
}