Real-Time Systems Design and Analysis: Tools for the Practitioner - "LaPlante, Phillip A.; Ovaska, Seppo J." (USA, 2012)