Pascal van Gastel, Bernard van Gastel, Marko C. J. D. van Eekelen. Detecting energy bugs and hotspots in control software using model checking. In Stefan Marr, Jennifer B. Sartor, editors, Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Nice, France, April 09-12, 2018. pages 93-98, ACM, 2018. [doi]
Abstract is missing.