Srinivas Pinisetty, yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, et al.. Runtime Enforcement of Timed Properties.
3rd International Conference on Runtime Verification, Sep 2012, Istanbul, Turkey. pp.229-244,
⟨10.1007/978-3-642-35632-2_23⟩.
⟨hal-00743270v2⟩