PT Journal
AU Mari, F
   Melatti, I
   Salvo, I
   Tronci, E
TI Model Based Synthesis of Control Software from System Level Formal Specifications
SO Acm Transactions On Software Engineering And Methodology
PY 2014
BP 6
VL 23
IS 1
DI 10.1145/2559934
ER