@article{FFM+11,
title = {Runtime Enforcement Monitors: composition, synthesis, and enforcement abilities },
author = {Falcone, Ylies and Fernandez, Jean-Claude and Mounier, Laurent and Richier, Jean-Luc},
year = {2011},
note = {to appear},
journal = {Formal Methods in System Design},
team = {DCS,PACSS},
}