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