Generation of Correct-by-Construction Code from Design Models for Embedded Systems (Jun 2011) Federico Ciccozzi, Antonio Cicchetti, Mikael Krekola, Mikael Sjödin 6th IEEE International Symposium on Industrial Embedded Systems (SIES11)
CHESS Tool presentation (Feb 2011) Antonio Cicchetti, Federico Ciccozzi, Mikael Krekola, Silvia Mazzini , Marco Panunzio , Stefano Puri , Carlo Santamaria , Tullio Vardanega , Alessandro Zovi 1st TOPCASED Days