Model-based troubleshooting of complex technical systems using integrated qualitative techniques | IEEE Conference Publication | IEEE Xplore