Evaluation of integrated system-level checks for on-line error detection | IEEE Conference Publication | IEEE Xplore