Enhanced operator function model: A generic human task behavior modeling language | IEEE Conference Publication | IEEE Xplore