@在集合{zbMATH06721668中，作者={Barbot、Beno{^{i}}t和Kwiatkowska、Marta和Mereacre、Alexandru和Paoletti、Nicola}，标题＝{根据可执行的定时{I}/{O}自动机规范构建功耗模型}，BookTitle={第19届ACM混合系统国际会议论文集：计算与控制，2016年HSCC，奥地利维也纳，2016年4月12-14日}，国际标准图书编号={978-1-4503-3955-1}，页码={195--204}，年份={2016年}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/2883817.2883844}，关键词={68Q85,68Q45,68Q60}，zbMATH={6721668}，Zbl=｛1366.68196｝}