Innovative Technologies for Dependable OTS-Based Critical Systems : Challenges and Achievements of the CRITICAL STEP Project - Domenico Cotroneo (Springer)