Mathematical Methods for Detecting and Localizing Failures in Complex Hardware/Software Systems | IEEE Conference Publication | IEEE Xplore