@Inproceedings{isola14,
   status = {private},
   task = {T8.1},
   publisher = {Sp},
   booktitle = {Proceedings of the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation},
   series = {Lecture Notes in Computer Science},
   year = {2014},
   invited = {no},
   volume = {8802},
   main = {no},
   title = {{HELENA@Work: Modeling the Science Cloud Platform}},
   author = {Annabelle Klarl and Philip Mayer and Rolf Hennicker},
   period = {year3},
   partner = {LMU},
   wp = {wp8},
   pages = {99-116}
}