V. Haridas, “Assuring Quality and Reliability in Complex Avionics Systems hardware & Software”, Def. Sc. J., vol. 47, no. 1, pp. 27–38, Jan. 2013.