Formal Methods in System Design Manuscript No. Runtime Enforcement Monitors: Composition, Synthesis, and Enforcement Abilities