An optimisation model for the design of energy efficient discrete event controllers. (1st January 2013)