Maraee, Azzam, Mira Balaban, Arnon Strum, and Adiel Ashrov. “Model Correctness Patterns As an Educational Instrument”. Electronic Communications of the EASST 52 (November 22, 2012). Accessed December 22, 2024. https://eceasst.org/index.php/eceasst/article/view/1982.