Real time systems design and analysis tools for practitioners 4ed. - Phillip A. Laplante (New Delhi Wiley India, 2012)