Uppaal examples