@inbook {IOPORT.05216217,
    author       = {Maler, Oded and Nickovic, Dejan and Pnueli, Amir},
    title        = {On synthesizing controllers from bounded-response properties.},
    year         = {2007},
    booktitle    = {Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3--7, 2007. Proceedings.},
    isbn         = {978-3-540-73367-6},
    pages        = {95-107},
    publisher    = {Berlin: Springer},
    doi          = {10.1007/978-3-540-73368-3_12},
    abstract     = {Summary: In this paper we propose a complete chain for synthesizing controllers from high-level specifications. From real-time properties expressed in the logic mtl we generate, under bounded-variability assumptions, deterministic timed automata to which we apply safety synthesis algorithms to derive a controller that satisfies the properties by construction. Some preliminary experimental results are reported.},
    identifier   = {05216217},
}