Implementing real-time reactive systems from object-oriented design specifications