@inproceedings{renard:hal-01185238, TITLE = {{Enforcement of (Timed) Properties with Uncontrollable Events}}, AUTHOR = {Renard, Matthieu and Falcone, Yli{\`e}s and Rollet, Antoine and Pinisetty, Srinivas and J{\'e}ron, Thierry and Marchand, Herv{\'e}}, URL = {https://inria.hal.science/hal-01185238}, BOOKTITLE = {{12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015)}}, ADDRESS = {Cali, Colombia}, PUBLISHER = {{Springer}}, SERIES = {Theoretical Aspects of Computing - ICTAC 2015}, VOLUME = {LNCS}, NUMBER = {9399}, PAGES = {542-560}, YEAR = {2015}, MONTH = Oct, DOI = {10.1007/978-3-319-25150-9\_31}, PDF = {https://inria.hal.science/hal-01185238v3/file/ICTAC_version_longue_HAL.pdf}, HAL_ID = {hal-01185238}, HAL_VERSION = {v3}, }