Maraee, A.; Balaban, M.; Strum, A.; Ashrov, A. Model Correctness Patterns As an Educational Instrument. eceasst 2012, 52.