2011 IEEE 32nd Real-Time Systems Symposium Journal uri icon