Tutorial 1b: Verifying the Safety Requirement in the Cruise Control System with UPPAAL Presentation The presentation and the handout can be found here