Maraee, A. (2012) “Model Correctness Patterns as an Educational Instrument”, Electronic Communications of the EASST, 52. doi: 10.14279/tuj.eceasst.52.782.