February 2014: “Model Based Synthesis of Control Software from System Level Formal Specifications“, an article of Federico Mari, Igor Melatti, Ivano Salvo and Enrico Tronci has been published on ACM Transactions On Software Engineering And Methodology (TOSEM).
DOI: 10.1145/2559934
Full article details are available here.