Robot Program Validation using Virtualization, Components, and Physics Engines. - Wan Li Jiang; Steve Murphy; Anders Ekelund; Volker Miegel; Xing Guo Yin; Li Wei Qi (ISR/ROBOTIK, 2010)