Online quantification of the continuous-discrete structure of reactive real time systems using hybrid fuzzy-Boolean automata | IEEE Conference Publication | IEEE Xplore