Using model-based assurance to strengthen diagnostic procedures | IEEE Conference Publication | IEEE Xplore