Karunakar, K and Prasad, Shylaja and Chandrasekhar, Ahalya (1986) Specifications for a MDS for flight control software development. Technical Report. National Aeronautical Laboratory, Bangalore, India.