A logic-based approach for real-time object-oriented software development