A model checking technique for the verification of fuzzy control systems