@inproceedings{de0e64cdc13e4783aeee4dc5ed09e732,
title = "Enforcement of (Timed) Properties with Uncontrollable Events",
keywords = "automata, enforcement, monitor synthesis, automata, enforcement, monitor synthesis, automata, enforcement, monitor synthesis",
author = "Matthieu Renard and Yli{\`e}s Falcone and Antoine Rollet and Srinivas Pinisetty and Thierry J{\'e}ron and Herv{\'e} Marchand",
note = "VK: Tripakis, S.",
year = "2015",
language = "English",
isbn = "978-3-319-25149-3",
pages = "542--560",
editor = "Martin Leucker and Camilo Rueda and FrankD. Valencia",
booktitle = "Theoretical Aspects of Computing ICTAC 2015, Cali, October 2015",
publisher = "Springer",
address = "Germany",
}