@inbook{c070167f337b45078dc9bb34420ff982,
title = "Control of timed systems",
keywords = "{"}Zenoness{"}and Zeno controller, Controller, efficient algorithms, Timed games, game automata, Timed systems control, verification, Winning states/strategies",
author = "Franck Cassez and Nicolas Markey",
year = "2010",
doi = "10.1002/9781118558188.ch3",
language = "English",
isbn = "9781848211438",
pages = "67--105",
editor = "Claude Jard and Roux, {Olivier H.}",
booktitle = "Communicating embedded systems",
publisher = "John Wiley & Sons",
address = "United States",
}