Real-Time Systems Design and Analysis : Tools for the Practitioner - Phillip A. Laplante, Author; Seppo J. Ovaska, Author; Phillip A. Laplante; Seppo J. Ovaska (Real-Time Systems Design and Analysis : Tools for the Practitioner, 2011)