Title: Detecting Mode Confusion Through Formal Modeling and Analysis