Text this: Flight control system design factors for applying automated testing techniques Joel R. Sitz, Todd H. Vernon. [microform] /