Model-based development of a controller and simulator for a mobile robot | IEEE Conference Publication | IEEE Xplore