Parallel And Distributed Real-Time Systems by Jan Van Katwijk & Janusz Zalewski