Runtime enforcement monitors: composition, synthesis, and enforcement abilities Yliès FalconeLaurent MounierJean-Luc Richier OriginalPaper 11 March 2011 Pages: 223 - 262