TY  - RPRT
TI  - On Model Based Synthesis of Embedded Control Software
AU  - Vadim Alimguzhin
AU  - Federico Mari
AU  - Igor Melatti
AU  - Ivano Salvo
AU  - Enrico Tronci
PY  - 2013
UR  - https://arxiv.org/abs/1207.4474
ID  - 1207.4474
ER  -