2011 Federico Mari, Igor Melatti, Ivano Salvo, and Enrico Tronci. "From Boolean Relations to Control Software." In Proceedings of ICSEA 2011, The Sixth International Conference on Software Engineering Advances, 528-533. ThinkMind, 2011. ISSN: 978-1-61208-165-6. Notes: Best Paper Award.