A task frame formalism for practical implementations | IEEE Conference Publication | IEEE Xplore