@article{3c490b8aece04300b48ee5d93ef5de22,
title = "Automatically generating specification properties from task models for the formal verification of human-automation interaction",
keywords = "CWTS 0.75 <= JFIS < 2.00",
author = "ML Bolton and {Jimenez Enebral}, N and {van Paassen}, MM and M Trujillo",
year = "2014",
doi = "10.1109/THMS.2014.2329476",
language = "English",
volume = "44",
pages = "561--575",
journal = "IEEE Transactions on Human-Machine Systems",
issn = "2168-2291",
publisher = "IEEE",
number = "5",
}