A metatool for implementing task-oriented formalisms | IEEE Conference Publication | IEEE Xplore