A. Maraee, M. Balaban, A. Strum, and A. Ashrov, “Model Correctness Patterns as an Educational Instrument”, ECEASST, vol. 52, Nov. 2012.