Automatic speed control for SmartWalker. - Jiwon Shin; Ivo Steinmann; Bertrand Meyer 001 (PETRA, 2015)