@Article{Mari_etal2014,
author="Mari, Federico
and Melatti, Igor
and Salvo, Ivano
and Tronci, Enrico",
title="Model Based Synthesis of Control Software from System Level Formal Specifications",
journal="ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY",
year="2014",
publisher="ACM",
volume="23",
number="1",
pages="Article 6",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=110), last updated on Fri, 04 Jul 2014 16:23:57 +0200",
issn="1049-331X",
doi="10.1145/2559934",
opturl="http://dl.acm.org/citation.cfm?id=2559934&CFID=294047825&CFTOKEN=78075392",
opturl="https://doi.org/10.1145/2559934",
file=":http://mclab.di.uniroma1.it/publications/papers/mari/2014/110_Mari_etal2014.pdf:PDF"
}