Language Design for Task Management using State Transition Modeling | IEEE Conference Publication | IEEE Xplore