@phdThesis{CIA:ZimmerovaPhD,
   author = "Barbora Zimmerova",
   title = "{Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction}",
   school = "Masaryk University, Faculty of Informatics",
   address = "Czech Republic",
   year = "2008",
   month = "May"
}