Incorporating Formal Methods and Measures Obtained through Analysis, Simulation Testing for Dependable Self-Adaptive Software in Avionics Systems. - Rajanikanth Nagaraj Kashi; Meenakshi D'Souza; Koyalkar Raman Kishore (COMPUTE, 2017)