Fig. 8From: VeriSIM: A model-based learning pedagogy for fostering software design evaluation skills in computer science undergraduatesIn Challenge 4, learners construct the entire state diagram from scratchBack to article page