@CONFERENCE\{IMM2003-02516, author = "J. Madsen and K. Virk and M. J. Gonzalez", title = "Abstract {RTOS} Modelling for Multiprocessor System-on-Chip", year = "2003", month = "nov", pages = "147-150", booktitle = "International Symposium on System-on-Chip", volume = "", series = "", editor = "", publisher = "IEEE", organization = "", address = "", url = "http://www2.compute.dtu.dk/pubdb/pubs/2516-full.html", isbn_issn = "0-7803-8160-2" }