// ATSLP: Detect incidents and adjust signals
schedule_tasks([
detect_incident(road=A12),
optimize_signals(intersection=I7),
reroute(segment=S3, target=B)
])
// HCMPL: Cache flow matrices
cache_store(key="flow@I7@t", data=measure_flow(I7))
flow = cache_get(key="flow@I7@t")
// CALK: Share city-wide alerts
broadcast({ incident: "accident", location: I7 })(empty)