The application of a formal model of the human operator into a system which is dynamically changing | IEEE Conference Publication | IEEE Xplore