Software Model for Robot Programming and Example of Implementation for Navigation System | IEEE Conference Publication | IEEE Xplore