@book{34577,
	author = {Sayed-Mouchaweh Moamar},
	title = {Discrete Event Systems Diagnosis and Diagnosability /},
	publisher = {Springer},
	year = {2014},
	address = {New York},
	note = {Include index}
}