@incollection{Švéda08,
author = {Miroslav Švéda and Ondřej Ryšavý and Radimir Vrba},
title = {Pattern-driven Reuse of Behavioral Specifications in Embedded Control System Design},
booktitle = {Frontiers in Robotics, Automation and Control},
publisher = {IntechOpen},
address = {Rijeka},
year = {2008},
editor = {Alexander Zemliak},
chapter = {9},
doi = {10.5772/6328},
url = {https://doi.org/10.5772/6328}
}