Symbolic Verification of Fuzzy Logic Models | IEEE Conference Publication | IEEE Xplore