UPPAAL examples