@unpublished{KroeningMargariaWoodcock2011,
  author    = {Kr{\"o}ning, Daniel and Margaria, Tiziana and Woodcock, Jim},
  title     = {Untitled},
  series = {Formal aspects of computing : the international journal of formal methods},
  volume    = {23},
  journal   = {Formal aspects of computing : the international journal of formal methods},
  number    = {5},
  publisher = {Springer},
  address   = {New York},
  issn      = {0934-5043},
  doi       = {10.1007/s00165-011-0201-8},
  pages     = {585 -- 588},
  year      = {2011},
  language  = {en}
}
@unpublished{RosamondBardohlDiehletal.2011,
  author    = {Rosamond, Frances and Bardohl, Roswitha and Diehl, Stephan and Geisler, Uwe and Bolduan, Gordon and Lessmoellmann, Annette and Schwill, Andreas and Stege, Ulrike},
  title     = {Virtual extension reaching out to the media become a computer science ambassador},
  series = {Communications of the ACM / Association for Computing Machinery},
  volume    = {54},
  journal   = {Communications of the ACM / Association for Computing Machinery},
  number    = {3},
  publisher = {Association for Computing Machinery},
  address   = {New York},
  issn      = {0001-0782},
  doi       = {10.1145/1897852.1897880},
  pages     = {113 -- 116},
  year      = {2011},
  language  = {en}
}