An implementation of the Uppaal modeling system for the support of fuzzy logic. - View it on GitHub