Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey. Quantitative analysis of real-time systems using priced timed automata. Communications of the ACM, 54(9):78-87, 2011. [doi]
@article{BouyerFLM11,
title = {Quantitative analysis of real-time systems using priced timed automata},
author = {Patricia Bouyer and Uli Fahrenberg and Kim G. Larsen and Nicolas Markey},
year = {2011},
doi = {10.1145/1995376.1995396},
url = {http://doi.acm.org/10.1145/1995376.1995396},
tags = {analysis},
researchr = {https://researchr.org/publication/BouyerFLM11},
cites = {0},
citedby = {0},
journal = {Communications of the ACM},
volume = {54},
number = {9},
pages = {78-87},
}