@inproceedings{OrlandiniISAIRAS2012a,
  author = {Orlandini, A. and Cesta, A. and Finzi, A.},
  booktitle = {i-SAIRAS 2012},
  publisher = {ESA},
  title = {Using Validation and Verification Techniques for Robust Plan Execution},
  year = 2012
}