Models for the Description of Man-Machine Interaction for the Tasks of Computer-Aided Assessment of the Reliability of Automated Systems | IEEE Conference Publication | IEEE Xplore