@article{BakeraMargariaRenneretal.2011,
  author    = {Marco Bakera and Tiziana Margaria and Clemens D. Renner and Bernhard Steffen},
  title     = {Game-Based model checking for reliable autonomy in space},
  journal   = {Journal of aerospace computing, information, and communication},
  volume    = {8},
  number    = {4},
  pages     = {100 -- 114},
  doi       = {10.2514/1.32013},
  year      = {2011},
}