Formal Descriptive Modeling for Self-verification of Fuzzy Network Systems. - Owen Macmann; Rick Graves; Kelly Cohen (NAFIPS, 2023)