Mälardalens högskola Institutionen för datavetenskap och elektronik.
2006
Engelska.
Ingår i: Workshop on Models and Analysis for Automotive Systems (WMAAS'06) in conjunction with the 27th IEEE Real-Time Systems Symposium (RTSS'06), Rio de Janeiro, Brazil.