A model-based systems engineering approach for the specification of test means for flight control computers