See http://en.wikipedia.org/wiki/Real-time_operating_system