Specifying Robot Reactivity in Procedural Languages | IEEE Conference Publication | IEEE Xplore