1. Improving the scalability of formal human–automation interaction verification analyses that use task-analytic models. (March 2017) Authors: Bolton, Matthew; Zheng, Xi; Molinaro, Kylie; Houser, Adam; Li, Meng Journal: Innovations in systems and software engineering Issue: Volume 13:Number 1(2017) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗