@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},
}