@inProceedings{CIA:MEMICS-07,
   author = "Barbora Zimmerova and Pavl\'{i}na Va\v{r}ekov\'{a}",
   title = "{Reflecting Creation and Destruction of Instances in {CBS}s Modelling and Verification}",
   booktitle = "Proceedings of the Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'07)",
   publisher = "Novotn\'{y}, Brno, Czech Republic",
   pages = "257--264",
   year = "2007",
   month = "October",
   
   abstract = "In the paper, we present our solution to the issue of modelling and verification of communicational behaviour in Component-Based Systems (CBSs) allowing creation and destruction of component instances. We first introduce a modelling technique for capturing each component type and component instance as a finite-state transition system, and define the system model as a collection of those. Then we present a verification technique we have defined for a similar type of systems, and discuss application of the technique to the systems with dynamic instantiation of components at run time."
}