Checkability of the digital components in safety-critical systems: Problems and solutions | IEEE Conference Publication | IEEE Xplore