A Comprehensive Diagnosis of Hybrid Systems for Discrete and Parametric Faults Using Hybrid I/O Automata. Issue 21 (2015)