mRegistry: a registry representation for fault diagnosis | IEEE Conference Publication | IEEE Xplore