Built-in-test adequacy-evaluation methodology for an air-vehicle system | IEEE Conference Publication | IEEE Xplore