Monitors in Uppaal