@inproceedings{cabb7a2cd664493f946569092eba129f,
title = "System-level verification of multi-core embedded systems using timed automata",
author = "Jan Madsen and Hansen, {Michael Reichhardt} and Knudsen, {Kristian S.} and Nielsen, {Jens E.} and Brekling, {Aske Wiid}",
year = "2008",
language = "English",
pages = "9302--9307",
booktitle = "17th World Congress International Federation of Automatic Control",
publisher = "International Federation of Automatic Control",
note = "17th World Congress International Federation of Automatic Control ; Conference date: 01-01-2008",
}