Author: Euromicro Workshop on Real-Time Systems