Workshops IX Workshop on Operating Systems (WSO 2012) III Workshop on Embedded Systems (WSE 2012) XIV Workshop on Real-time Systems (WTR 2012)