document

Automatically generating specification properties from task models for the formal verification of human-automation interaction

Bolton, ML (author), Jimenez Enebral, N (author), van Paassen, M.M. (author), Trujillo, M (author)

journal article 2014