A Technique for Using Model Checkers to Teach Formal Specifications | IEEE Conference Publication | IEEE Xplore