Automated Testing for Operational Flight Programs with Hardware-in-the-Loop | IEEE Conference Publication | IEEE Xplore