Discrete Event Systems Diagnosis and Diagnosability - Sayed-Mouchaweh, Moamar (Springer New York : Imprint: Springer, 2014)