@unpublished{KroeningMargariaWoodcock2011,
  author  = {Daniel Kr{\"o}ning and Tiziana Margaria and Jim Woodcock},
  title   = {Untitled},
  institution = {Institut f{\"u}r Informatik und Computational Science},
  pages     = {4},
  year    = {2011},
}