Innovative Technologies for Dependable OTS-Based Critical Systems