Chapter 30: Verification of Hybrid Systems