ODS: a diagnostic system based on qualitative modeling techniques | IEEE Conference Publication | IEEE Xplore