A Mobile Agent-based Multi-Robot Design Method for High-Assurance. - Sung-Ook Shin; Jung-Oog Lee; Doo-Kwon Baik (HASE, 2007)