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 July 15, 2025. https://www.eceasst.org/index.php/eceasst/article/view/1982.