@Incollection{Bures2015_festschrift_wirsing,
   status = {n/a},
   language = {English},
   link = {http://dx.doi.org/10.1007/978-3-319-15545-6_34},
   task = {n/a},
   publisher = {Springer International Publishing},
   doi = {10.1007/978-3-319-15545-6_34},
   booktitle = {Software, Services, and Systems},
   series = {Lecture Notes in Computer Science},
   year = {2015},
   isbn = {978-3-319-15544-9},
   invited = {n/a},
   timestamp = {2015.03.10},
   volume = {8950},
   main = {n/a},
   title = {{Formalization of Invariant Patterns for the Invariant Refinement Method}},
   editor = {Rocco De Nicola and Rolf Hennicker},
   author = {Tomáš Bureš and Ilias Gerostathopoulos and Jaroslav Keznikl and František Plášil and Petr Tůma},
   period = {year4},
   keyword = {architecture refinement; requirements; assume-guarantee},
   owner = {Christian},
   partner = {CUNI},
   wp = {n/a},
   pages = {602-618}
}