Antonia Bertolino Antonello Calabrò Francesca Lonetti Antinisca Di Marco Antonino Sabetta Towards a Model-Driven Infrastructure for Runtime Monitoring. 130-144 2011 SERENE http://dx.doi.org/10.1007/978-3-642-24124-6_13 conf/serene/2011 db/conf/serene/serene2011.html#BertolinoCLMS11