2012 IEEE 33rd Real-Time Systems Symposium