Design of a Mobile Robot Controller Using Esterel Tools. - Arcot Sowmya; David Tsz-Wang So; Wan Hung Tang (SLAP@ETAPS, 2002)