@incollection{Ugarte12,
author = {F. Herrera and I. Ugarte},
title = {Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off},
booktitle = {Embedded Systems},
publisher = {IntechOpen},
address = {Rijeka},
year = {2012},
editor = {Kiyofumi Tanaka},
chapter = {12},
doi = {10.5772/37476},
url = {https://doi.org/10.5772/37476}
}