@CONFERENCE\{IMM2006-05000,
    author       = "A. Brekling and M. R. Hansen and J. Madsen",
    title        = "A Timed-Automata Semantics for a System-Level MPSoC model",
    year         = "2006",
    booktitle    = "Nordic Workshop on Programming Theory",
    volume       = "",
    series       = "",
    editor       = "",
    publisher    = "Reykjavik University",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/5000-full.html"
}