Real-time systems (2010/2011)