@inproceedings{barbot2016building, title={{Building power consumption models from executable timed I/O automata specifications}}, author={Barbot, Beno{\^\i}t and Kwiatkowska, Marta and Mereacre, Alexandru and Paoletti, Nicola}, booktitle={Hybrid Systems: Computation and Control (HSCC 2016)}, pages={195--204}, year={2016}, organization={ACM}, url = {http://dl.acm.org/citation.cfm?id=2883844}, doi = {10.1145/2883817.2883844} }