On Using Drivers' Eyes to Predict Accident-Causing Drowsiness Levels. - Alyssa Byrnes; Cynthia Sturton (ITSC, 2018)

Evaluating a Specification for its Support of Mode Awareness using Discrete and Continuous Model Checking. - Alyssa Byrnes; Cynthia Sturton (ITSC, 2020)

Using Formal Frameworks to Reduce Mode Confusion in Cyber-Physical Human-in-the-Loop Systems. - Alyssa Byrnes (2023)