IEEE Symposium on Real Time Systems Journal