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