Automated production of information models for use in model-based diagnosis | IEEE Conference Publication | IEEE Xplore