The RCS handbook : tools for real-time control systems software development - Gazi, Veysel (Wiley-Interscience, 2001)