Fig. 4From: VeriSIM: A model-based learning pedagogy for fostering software design evaluation skills in computer science undergraduatesOverview of learning activities in Module 1 of the TELEBack to article page