Exploiting Timed Automata based Fuzzy Controllers for voltage regulation in Smart Grids | IEEE Conference Publication | IEEE Xplore