Prasad, P., & Iyer, S. (2022). VeriSIM: A model-based learning pedagogy for fostering software design evaluation skills in computer science undergraduates. Research and Practice in Technology Enhanced Learning, 17. https://doi.org/10.58459/rptel.2022.17%p