@INPROCEEDINGS{WILF09, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Daniele Magazzeni},
	title = {Evaluating Fuzzy Controller Robustness using Model Checking}, 
	series = {LNAI},
	booktitle = {Proceedings of 8th International Workshop on Fuzzy Logic and Applications},
	editor = {Springer-Verlag},

	pages = {303--311},
	year = {2009},
	month = {6},
	volume = {5571},
}