Task design and verification testing for certification of avionics equipment | IEEE Conference Publication | IEEE Xplore