Automatically Generating Specification Properties From Task Models for the Formal Verification of Human–Automation Interaction | IEEE Journals & Magazine | IEEE Xplore