UPPAAL-Tiga: Time for Playing Games! - Gerd Behrmann; Agnès Cougnard; Alexandre David; Emmanuel Fleury; Kim Guldstrand Larsen; Didier Lime (CAV, 2007)