Fig. 1From: VeriSIM: A model-based learning pedagogy for fostering software design evaluation skills in computer science undergraduatesThe model state diagram for a given scenario generated using the design tracing strategyBack to article page