Model Based Testing of Aircraft Interfaces | IEEE Conference Publication | IEEE Xplore