Title: Object-oriented real-time system design