Issues in practical model-based diagnosis. - R. R. Bakker; P. C. A. van den Bempt; Nicolaas J. I. Mars; D.-J. Out; D. C. van Soest (Future Gener. Comput. Syst., 1993)