Checking formal verification models for human-automation interaction. - M. M. van Paassen; Matthew L. Bolton; Noelia Jimenez (SMC, 2014)

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)