Guaranteeing Reactive Missions for Complex Robotic Systems