Markus Klinik, Bernard van Gastel, Cynthia Kop, Marko C. J. D. van Eekelen. Skylines for Symbolic Energy Consumption Analysis. In Maurice H. ter Beek, Dejan Nickovic, editors, Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings. Volume 12327 of Lecture Notes in Computer Science, pages 93-112, Springer, 2020. [doi]
Abstract is missing.