Out-of-norm assertions [diagnostic mechanism] | IEEE Conference Publication | IEEE Xplore