Innovative Technologies for Dependable OTS-Based Critical Systems - Cotroneo (Springer Milan, 2013)