@inproceedings{13889d2479d34fa1bda9100cebb8f3ee,
title = "Verification, Performance Analysis and Controller Synthesis for Real-Time Systems",
abstract = "This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The note gives comprehensive definitions of timed automata, priced (or weighted) timed automata, and timed games and highlights a number of results on associated decision problems related to model checking, equivalence checking, optimal scheduling, and winning strategies.",
author = "Uli Fahrenberg and Larsen, {Kim Guldstrand} and Thrane, {Claus R{\o}rb{\ae}k}",
year = "2009",
language = "English",
isbn = "978-1-58603-976-9",
volume = "22",
series = "<em>NATO Science for Peace and Security Series - D: Information and Communication Security</em>",
number = "22",
editor = "Manfred Broy and Wassiou Sitou and Tony Hoare",
booktitle = "Engineering Methods and Tools for Software Safety and Security",
publisher = "IOS Press",
address = "Netherlands",
note = "Engineering Methods and Tools for Software Safety and Security ; Conference date: 19-05-2010",
}