Tobias Amnell Elena Fersman Leonid Mokrushin Paul Pettersson Wang Yi TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems. 60-72 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2791&spage=60 2003 conf/formats/2003 FORMATS db/conf/formats/formats2003.html#AmnellFMPY03