@inproceedings{CestaAstra2011,
  author = {Cesta, A. and Finzi, A. and Fratini, S. and Orlandini, A. and Tronci, E.},
  booktitle = {ASTRA 2011},
  publisher = {ESA},
  title = {Enriching APSI with Validation Capabilities: the KEEN environment and its use in Robotics},
  volume = 11,
  year = 2011
}