Safety Validation Using AADL System Architecture Models. - Gracy Philip; Varsha P. Suresh; Meenakshi D'Souza (ISEC, 2018)