Scenario based requirement analysis modeling and design evaluation for real-time reactive systems