P. Prasad and S. Iyer, “VeriSIM: A model-based learning pedagogy for fostering software design evaluation skills in computer science undergraduates”, RPTEL, vol. 17, May 2022.