Scenario-based analysis and synthesis of real-time systems using uppaal