Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand. Enforcement of (Timed) Properties with Uncontrollable Events. In Martin Leucker, Camilo Rueda, Frank D. Valencia, editors, Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings. Volume 9399 of Lecture Notes in Computer Science, pages 542-560, Springer, 2015. [doi]
Abstract is missing.