Real-Time Systems Design and Analysis - Laplante (IEEE, 2004)