“…It has been used in the past to represent imprecise specifications (Mensch & Lipp, 1990) and to model learning systems (Wee & Fu, 1969). Fuzziness has been introduced in the different components of the automata: states, transitions, and actions (Doostfatemeh & Kremer, 2006;Mraz, Lapanja, Zimic, & Virant, 1999;Wee & Fu, 1969). Although there are many proposals to define fuzzy automata (Andrés, Llana, & Núñez, 2011;Doostfatemeh & Kremer, 2005;Mordeson & Malik, 2002;Wee & Fu, 1969), we considered timed automata because it is much easier to reuse its existing tools to deal with fuzzy time than build tools from scratch.…”