@misc{indiciae7c97c88d2a44, title = {Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems}, author = {Bernard van Gastel and Marko van Eekelen}, year = {2017}, doi = {10.4204/eptcs.248.7}, url = {https://arxiv.org/abs/1705.00961}, note = {Source identifier: 1705.00961} }