FTL-CFree: A Fuzzy Real-Time Language for Runtime Verification | IEEE Journals & Magazine | IEEE Xplore