@article{04c7cbd6ac544d3eb8e0b30a39c1d368,
title = "Quantitative analysis of real-time systems using priced timed automata",
abstract = "Timed automata and their extensions allow for analysis of a wide range of performance and optimization problems.",
author = "P. Bouyer and U. Fahrenberg and Larsen, {Kim Guldstrand} and Nicholas Markey",
year = "2011",
month = sep,
day = "1",
doi = "10.1145/1995376.1995396",
language = "English",
volume = "54",
pages = "78--87",
journal = "Communications of the A C M",
issn = "0001-0782",
publisher = "Association for Computing Machinery",
number = "9",
}