Գրեք սա: Innovative technologies for dependable OTS-Based Critical Systems :