Real-Time Systems by Hermann Kopetz