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