Theoretical framework to costruct optimal flight safety diagnostic procedures | IEEE Conference Publication | IEEE Xplore