Stav dette: Detecting mode confusion through formal modeling and analysis Steven P. Miller and James N. Potts. [microform] /