Methodology for Reliability Analysis of Human-Machine Interaction in Automated Control Systems | IEEE Conference Publication | IEEE Xplore