@article{FFM11,
title = {What can you Verify and Enforce at Runtime ? },
author = {Falcone, Ylies and Fernandez, Jean-Claude and Mounier, Laurent},
year = {2011},
note = {to appear},
journal = {Software Tool in Tecnology Transfer (STTT)},
volume = {13},
team = {DCS,PACSS},
}
