Analyzing Software Specifications for Mode Confusion Potential · Study