A Method to Semi-Automatically Identify and Measure Unmet Requirements in Learner-Created State Machine Diagrams | IEEE Conference Publication | IEEE Xplore