"Dresden Real-Time Operating System Project"@cs .