Prasad, P.; Iyer, S. VeriSIM: A Model-Based Learning Pedagogy for Fostering Software Design Evaluation Skills in Computer Science Undergraduates. RPTEL 2022, 17.