Guided Synthesis of Control Programs using UPPAAL for VHS Case Study 5