@Inproceedings{Keznikl:2013:DEC:2465449.2465457,
   joint-pub = {true},
   status = {public},
   numpages = {10},
   task = {T4.2},
   publisher = {ACM},
   doi = {10.1145/2465449.2465457},
   booktitle = {Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering},
   address = {New York, NY, USA},
   series = {CBSE '13},
   location = {Vancouver, British Columbia, Canada},
   year = {2013},
   isbn = {978-1-4503-2122-8},
   invited = {no},
   timestamp = {2013.11.07},
   main = {yes},
   accessible = {true},
   title = {{Design of ensemble-based component systems by invariant refinement}},
   author = {Jaroslav Keznikl and Tomas Bures and Frantisek Plasil and Ilias Gerostathopoulos and Petr Hnetynka and Nicklas Hoch},
   period = {year3},
   keyword = {component, ensemble, refinement, requirements engineering, system design},
   owner = {kroiss},
   ascens_ref = {true},
   partner = {CUNI, VW},
   acmid = {2465457},
   wp = {WP4},
   pages = {91--100}
}