@proceedings{3166,
  editor       = {{Meyer, Roland and Platzer, Andr{\'{e}} and Wehrheim, Heike}},
  isbn         = {{978-3-319-23505-9}},
  title        = {{{Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings}}},
  doi          = {{10.1007/978-3-319-23506-6}},
  year         = {{2015}},
}