Model-Based System Engineering, Test Means, Flight Control Computers