Specifying and Synthesizing Energy-Efficient Production System Controllers that Exploit Braking Energy Recuperation | IEEE Conference Publication | IEEE Xplore