FTL-CFree: A Fuzzy Real-Time Language for Runtime Verification. - Joaquin Perez; Jaime Jimenez; Asier Rabanal; Armando Astarloa; Jesús Lázaro 001 (IEEE Trans. Ind. Informatics, 2014)