@incollection{Walkowiak12,
author = {Zbigniew Huzar and Anita Walkowiak},
title = {Specification and Validation of Real-Time Systems Using UML Sequence Diagrams},
booktitle = {Real-Time Systems, Architecture, Scheduling, and Application},
publisher = {IntechOpen},
address = {Rijeka},
year = {2012},
editor = {Seyed Morteza Babamir},
chapter = {5},
doi = {10.5772/38015},
url = {https://doi.org/10.5772/38015}
}