Towards focused plan monitoring: a technique and an application to mobile robots | IEEE Conference Publication | IEEE Xplore