In this paper we describe an approach for real-time modeling in UML focusing on analysis and verification of time 
related properties. We base our approach on the use of timed events, representing instant of system state changes. 
This is also, at notation level, the choice of the OMG UML Real-Time Profile. We complete this profile by 
identifying important events and durations.
The originality of our approach is that it provides a formal semantics of the time related primitives in terms of 
timed automata with urgency. An interesting point is that this time extension is defined independently of the 
semantics of the functional part.