Networked priced timed automata for energy-efficient factory automation | IEEE Conference Publication | IEEE Xplore