Online quantification of the continuous-discrete structure of reactive real time systems using hybrid fuzzy-Boolean automata. - George A. Fodor; Janos L. Grantner; Hamed Shakouri (SMC, 1998)