T. Murthy and V. Seshadri, “An Aid for Mechanisation of Flight Control Systems on Micro-Computers”, DSJ, vol. 44, no. 2, pp. 119-129, Jan. 2013.