"LaPlante, Phillip A.; Ovaska, Seppo J." Real-Time Systems Design and Analysis: Tools for the Practitioner - 4th - 536p cm 24 ISBN: 978 0470768648 Dewey Class. No.: 004.33 / L 31