1. A theory of timed automata
2. E.M. Clarke , D.E. Long , and K.L. McMillan . 1989. Compositional model checking. In [1989] Proceedings . Fourth Annual Symposium on Logic in Computer Science. 353–362 . https://doi.org/10.1109/LICS. 1989 .39190 10.1109/LICS.1989.39190 E.M. Clarke, D.E. Long, and K.L. McMillan. 1989. Compositional model checking. In [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science. 353–362. https://doi.org/10.1109/LICS.1989.39190
3. Modeling Runtime Enforcement with Mandatory Results;Dolzhenko Egor;Automata. Int. J. Inf. Secur.,2015
4. Runtime enforcement of regular timed properties by suppressing and delaying events;Falcone Yliès;Systems & Control Letters,2016
5. Runtime enforcement monitors: composition, synthesis, and enforcement abilities