A formal approach in robot development process using a UML model. - Olarn Wongwirat; Tanachai Hanidthikul; Natee Vuthikulvanich (ICARCV, 2008)