Related content
For example, one valid state configuration for an execution of the StateMachine depicted in Figure
14.9 is:
〈CourseAttempt - Studying – (Studying::Lab2, Studying::TermProject, Studying::FinalTest)⟩.