October 2012: “Synthesizing Control Software from Boolean Relations“, an article of Federico Mari, Igor Melatti, Ivano Salvo and Enrico Tronci has been published on International Journal on Advances in Software.
Full article details are available here.