Tutorial 2: Modeling and Verifying the Behavior of a Cruise Control System using Statecharts