Part Ill: Modeling o Chapter 7: Transition Systems o Chapter 8: Petri Nets, Time Petri Nets o Chapter 9: Timed Automata, Hybrid Automata o Chapter 10: Message Sequence Charts Part IV: Model Checking and tools o Chapter 11: Introduction of Model Checking o Chapter 12: SPiN Model Checker o Chapter 13: UPPAAL: a model-checker for real-time systems o Chapter 14◼ Part III: Modeling  Chapter 7: Transition Systems  Chapter 8: Petri Nets, Time Petri Nets  Chapter 9: Timed Automata, Hybrid Automata  Chapter 10: Message Sequence Charts ◼ Part IV: Model Checking and Tools  Chapter 11: Introduction of Model Checking  Chapter 12: SPIN Model Checker  Chapter 13: UPPAAL: a model-checker for real-time systems  Chapter 14:…