Real-Time Systems Design and Analysis: Tools for the Practitioner - Phillip A Laplante; Seppo J Ovaska (Wiley Student Edition New Delhi, 2013)