@InProceedings{BKM+16,
author={Barbot, Beno\^it and Kwiatkowska, Marta and Mereacre, Alexandru and Paoletti, Nicola},
title={{Building Power Consumption Models from Executable Timed I/O Automata Specifications}},
booktitle={19th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2016). To appear},
year={2016}
}