Text this: Specification and Validation of Real-Time Systems Using UML Sequence Diagrams