RACME: A Framework to Support V&V and Certification. - Andrea Ceccarelli; Lorenzo Vinerbi; Lorenzo Falai; Andrea Bondavalli (LADC, 2011)