Real-Time Systems by E-.R. Olderog, H. Dierks & Ernst-Rudiger Olderog