Component-based safety-oriented on-line testing of digital systems | IEEE Conference Publication | IEEE Xplore