Mathematical characterization of human reliability for multi-task system operations | IEEE Conference Publication | IEEE Xplore