Localizing Multiple Faults in Simulink Models | IEEE Conference Publication | IEEE Xplore