Lessons Learnt from the Adoption of Formal Model-based Development Alessio Ferrari 1 Alessandro Fantechi 1,2 Stefania Gnesi 1 1 ISTI-CNR, Pisa, Italy 2 DSI, University of Florence, Florence, Italy April 3, 2012 A. Ferrari, et al. (ISTI-CNR/DSI-UNIFI) Adoption of FM-based Development 1 / 20