Prasad, P. and 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, (May 2022).