An Object-Oriented Approach for Modeling and Analysis of Safety-Critical Real-time Systems