Formal specification and simulation of the robot path planner | IEEE Conference Publication | IEEE Xplore