@inProceedings{CIA:SAVCBS-07-challenge,
   author = "Pavl\'{i}na Va\v{r}ekov\'{a} and Barbora Zimmerova",
   title = "{Challenge Problem: Subject-Observer Specification with Component-Interaction Automata}",
   booktitle = "Proceedings of the ESEC/FSE Conference on Specification and Verification of Component-Based Systems (SAVCBS'07)",
   publisher = "ACM Press",
   pages = "75--81",
   year = "2007",
   month = "September",
   url = "http://www.eecs.ucf.edu/~leavens/SAVCBS/2007/SAVCBS07-proceedings.pdf",

   abstract = "This paper presents our solution to the Subject-Observer Specification problem announced as the challenge problem of the SAVCBS 2007 workshop. The text consists of two parts. In the first part, we present the model of the Subject-Observer system in terms of Component-interaction automata. In the second part, we present our approach to verification of the system model with respect to unlimited number of Observers. "
}