Use of Heart Rate Variability Analysis for Quantitatively Assessing Operator's Mental Workload | IEEE Conference Publication | IEEE Xplore