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