The RCS handbook : tools for real-time control systems software development - Gazi, Veysel (Series on intelligent systems, 2001)