Real-Time System Design and Analysis - Phillip A. Laplante