A Formal Method for Assessing Mental Workload. - Matthew L. Bolton; Skye Solace Taylor; Laura R. Humphrey (SMC, 2023)