Software reliability in digital helicopter A.F.C.S. - Derrien, J.C. (My University, 1983)