@inproceedings {1547,
	title = {Model Checking on Fault Diagnosis Graph},
	booktitle = {WODES{\textquoteright}2014: 12th IFAC International Workshop on Discrete Event Systems},
	year = {2014},
	month = {05/2014},
	address = {Cachan, France},
	doi = {http://dx.doi.org/10.3182/20140514-3-FR-4046.00053},
	url = {http://dx.doi.org/10.3182/20140514-3-FR-4046.00053},
	author = {X. Wang and Mahulea, Cristian and M. Silva}
}

