focus on the verification of human automation interaction (Bolton, Bass, & Siminiceanu, 2013), their scope is … in the Semiconductor Factory: A Contradiction? Download