The RCS handbook:tools for real-time control systems software development - Gazi, Veysel (et al) (John Wiley & Sons, New York, 2001)