Specification of Real-Time Systems in UML