@InProceedings{Alimguzhin_etal2012,
author="Alimguzhin, Vadim
and Mari, Federico
and Melatti, Igor
and Salvo, Ivano
and Tronci, Enrico",
editor="Ahmed Jerraya and Luca P. Carloni and Florence Maraninchi and John Regehr",
title="On Model Based Synthesis of Embedded Control Software",
booktitle="Proceedings of the 12th International Conference on Embedded                Software, EMSOFT 2012, part of the Eighth Embedded Systems                Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012",
year="2012",
publisher="ACM",
pages="227--236",
optnote="Techreport version can be found at arxiv.org",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=97), last updated on Wed, 20 Feb 2013 15:50:29 +0100",
isbn="978-1-4503-1425-1",
doi="10.1145/2380356.2380398",
opturl="https://doi.org/10.1145/2380356.2380398",
file=":http://mclab.di.uniroma1.it/publications/papers/alimguzhin/2012/97_Alimguzhin_etal2012.pdf:PDF"
}