Automatically Generating Specification Properties From Task Models for the Formal Verification of Human-Automation Interaction. - Matthew L. Bolton; Noelia Jimenez; Marinus Maria van Paassen; Maite Trujillo (IEEE Trans. Hum. Mach. Syst., 2014)