formal evaluation of human-automation interaction [38, 39,. 40]. … This concept addresses semiconductor vendors for developing new hardware archi- tectures … Download