Specification and Validation of Real-Time Systems Using UML Sequence Diagrams - Huzar, Zbigniew; Walkowiak, Anita (IntechOpen, 2012)
None