A software engineering framework for switched fuzzy systems. - David Harel; Assaf Marron; Amir Nissim; Gera Weiss (FUZZ-IEEE, 2012)