@article(AD94,
 author       = "R. Alur and D. Dill",
 year         = "1994",
 title        = "A Theory of Timed Automata",
 journal      = "Theoretical Computer Science",
 volume       = "126",
 number       = "2",
 pages        = "183--235",
 url          = "http://portal.acm.org/citation.cfm?id=180519",
)
@inproceedings(BDL04,
 author       = "G. Behrmann and A. David and K. G. Larsen",
 year         = "2004",
 title        = "A Tutorial on UPPAAL",
 booktitle    = "Formal Methods for the Design of Real-Time Systems",
 series       = "LNCS",
 volume       = "3185",
 publisher    = "Springer",
 pages        = "200--236",
 url          = "http://www.springerlink.com/content/03wam998tjn5mgma/",
)
@inproceedings(BFH+01,
 author       = "G. Behrmann and A. Fehnker and T. Hune and K. G. Larsen and P. Pettersson and J. Romijn and F. Vaandrager",
 year         = "2001",
 title        = "Minimum-Cost Reachability for Priced Timed Automata",
 booktitle    = "HSCC'01",
 series       = "Lecture Notes in Computer Science",
 volume       = "2034",
 publisher    = "Springer",
 pages        = "147--161",
 doi          = "10.1007/3-540-45351-2",
 url          = "http://portal.acm.org/citation.cfm?id=710599",
)
@article(BJSV10,
 author       = "J. Berendsen and D. J. Jansen and J. Schmaltz and F. W. Vaandrager",
 year         = "2010",
 title        = "The axiomatization of override and update",
 journal      = "Applied Logic",
 volume       = "8",
 number       = "8",
 pages        = "141--150",
 doi          = "10.1016/j.jal.2009.11.001",
 url          = "http://www.sciencedirect.com/science/article/pii/S1570868309000676",
)
@inproceedings(BBJLR08,
 author       = "P. Bouyer and T. Brihaye and M. Jurdzi{\'n}ski and R. Lazi{\'c} and M. Rutkowski",
 year         = "2008",
 title        = "Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets",
 booktitle    = "FORMATS'08",
 series       = "LNCS",
 volume       = "5215",
 publisher    = "Springer",
 pages        = "63--77",
 doi          = "10.1007/978-3-540-85778-5",
 url          = "http://www.springerlink.com/content/a870592711j40661/",
)
@article(BBM06,
 author       = "P. Bouyer and T. Brihaye and N. Markey",
 year         = "2006",
 title        = "Improved Undecidability Results on Weighted Timed Automata",
 journal      = "Information Processing Letters",
 volume       = "98",
 number       = "5",
 pages        = "188--194",
 doi          = "10.1016/j.ipl.2006.01.012",
 url          = "http://portal.acm.org/citation.cfm?id=1711154",
)
@inproceedings(BBL04,
 author       = "P. Bouyer and E. Brinksma and K. G. Larsen",
 year         = "2004",
 title        = "Staying Alive as Cheaply as Possible",
 booktitle    = "HSCC 2004",
 series       = "LNCS",
 volume       = "2993",
 publisher    = "Springer",
 pages        = "203--218",
 url          = "http://www.lsv.ens-cachan.fr/~bouyer/mes-publis.php?onlykey=BBL-hscc2004",
)
@article(BBL08,
 author       = "P. Bouyer and E. Brinksma and K. G. Larsen",
 year         = "2008",
 title        = "Optimal Infinite Scheduling for Multi-Priced Timed Automata",
 journal      = "Formal Methods in System Design",
 volume       = "32",
 number       = "1",
 pages        = "2--23",
 doi          = "10.1007/s10703-007-0043-4",
 url          = "http://www.lsv.ens-cachan.fr/~bouyer/mes-publis.php?onlykey=BBL-fmsd06",
)
@inproceedings(BLMR06,
 author       = "P. Bouyer and K. G. Larsen and N. Markey and J. I. Rasmussen",
 year         = "2006",
 title        = "Almost Optimal Strategies in One-Clock Priced Timed Automata",
 booktitle    = "FSTTCS'06",
 series       = "LNCS",
 volume       = "4337",
 publisher    = "Springer",
 pages        = "345--356",
 doi          = "10.1007/11944836\_32",
 url          = "http://www.lsv.ens-cachan.fr/~markey/publis.php?onlykey=BLMR-fsttcs2006",
)
@inproceedings(JLR09,
 author       = "M. Jurdzi{\'n}ski and R. Lazi{\'c} and M. Rutkowski",
 year         = "2009",
 title        = "Average-Price-per-Reward Games on Hybrid Automata with Strong Resets",
 booktitle    = "VMCAI'09",
 volume       = "5403",
 publisher    = "Springer",
 pages        = "167 -- 181",
 doi          = "10.1007/978-3-540-93900-9",
 url          = "http://www.springerlink.com/content/57635657g2j60414/",
)
@inproceedings(JT07,
 author       = "M. Jurdzi{\'n}ski and A. Trivedi",
 year         = "2007",
 title        = "Reachability-Time Games on Timed Automata",
 booktitle    = "ICALP'07",
 series       = "LNCS",
 volume       = "4596",
 publisher    = "Springer",
 pages        = "838--849",
 doi          = "10.1007/978-3-540-73420-8",
 url          = "http://www.springerlink.com/content/b17738g23844w336/",
)
@inproceedings(JT08,
 author       = "M. Jurdzi{\'n}ski and A. Trivedi",
 year         = "2008",
 title        = "Average-Time Games",
 booktitle    = "FSTTCS'08",
 series       = "LIPI",
 volume       = "2",
 pages        = "340--351",
 doi          = "10.4230/LIPIcs.FSTTCS.2008.1765",
 url          = "http://drops.dagstuhl.de/opus/volltexte/2008/1765/",
)