TY - RPRT TI - Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems AU - Bernard van Gastel AU - Marko van Eekelen PY - 2017 DO - 10.4204/eptcs.248.7 UR - https://arxiv.org/abs/1705.00961 ID - 1705.00961 ER -