1. “A real-time garbage collector with low overhead and consistent utilization,”;Bacon,2003
2. “SLAM and static driver verifier: technology transfer of formal methods inside Microsoft,”;Ball,2004
3. Component-based robotic engineering (part I)[tutorial];Brugali;IEEE Rob. Autom. Mag.,2009
4. “The real-time motion control core of the Orocos project,”;Bruyninckx,2003