@inproceedings{TGAIPSS2013,
  author = {Orlandini, A. and Suriano, M. and Cesta, A. and Finzi, A.},
  editor = {Cortellessa, G. and Gerevini, A. and Magazzeni, D. and Serina, I.},
  booktitle = {IPS 2013},
  title = {A TGA-based Method for Safety Critical Plan Execution},
  year = 2013,
  pages={39-46},
}