TAME: an integrated environment for task-based knowledge and specification acquisition | IEEE Conference Publication | IEEE Xplore