A Formal Method for Assessing Mental Workload | IEEE Conference Publication | IEEE Xplore