Correct high-level robot control from structured English | IEEE Conference Publication | IEEE Xplore