**Specification and Validation of Real-Time Systems Using UML Sequence Diagrams**

Zbigniew Huzar and Anita Walkowiak *Wrocław University of Technology, Institute of Informatics Poland* 
