@inbook{accdf2a6793046eeb2a5a8eba04a8700,
title = "Models for Real-Time Embedded Systems",
keywords = "Model-checking/control, Models with stopwatches, Models, real-time embedded, Stopwatch, decidability results, Timed models, time Petri nets",
author = "Didier Lime and Roux, {Olivier H.} and Jiri Srba",
year = "2013",
month = feb,
day = "13",
doi = "10.1002/9781118558188.ch1",
language = "English",
isbn = "9781848211438",
pages = "1--37",
editor = "Claude Jard and {H. Roux}, Olivier",
booktitle = "Communicating Embedded Systems: Software and Design: Formal Methods",
publisher = "Wiley",
address = "United Kingdom",
}