TY  - RPRT
TI  - Model Based Synthesis of Control Software from System Level Formal Specifications
AU  - Federico Mari
AU  - Igor Melatti
AU  - Ivano Salvo
AU  - Enrico Tronci
PY  - 2013
UR  - https://arxiv.org/abs/1107.5638
ID  - 1107.5638
ER  -