A Model-Based Systems Engineering Approach for the Efficient Specification of Test Rig Architectures for Flight Control Computers | IEEE Journals & Magazine | IEEE Xplore