Real-time systems design and analysis : tools for the practitioner - Phillip A. Laplante (A John Wiley & Sons, 2012)
st,2/why, c.1-2