ETR is a well-known Frenh summer school on real-time systems and formal methods. I am giving a tutorial talk in the formal methods track about Runtime Enforcement of Timed Properties.
The companion tutorial can be found in the proceedings and the electronic version can be downloaded here.