Maraee, A., Balaban, M., Strum, A., & Ashrov, A. (2012). Model Correctness Patterns as an Educational Instrument. Electronic Communications of the EASST, 52. https://doi.org/10.14279/tuj.eceasst.52.782