@InProceedings{Alimguzhin_etal2012,
author="Alimguzhin, Vadim
and Mari, Federico
and Melatti, Igor
and Salvo, Ivano
and Tronci, Enrico",
title="On Model Based Synthesis of Embedded Control Software",
booktitle="International Conference on Embedded Software, EMSOFT",
year="2012",
publisher="ACM",
optnote="exported from refbase (show.php?record=14), last updated on Mon, 20 Jul 2015 15:46:38 +0200",
doi="10.1145/2380356.2380398",
file=":papers/alimguzhin/2012/14\textit{Alimguzhin}etal2012.pdf:PDF"
}