Task modeling for task-oriented robot programming | IEEE Conference Publication | IEEE Xplore