Arthur Kalsing, Laurent Fesquet, Chouki Aktouf. A Methodology for Automated Consistency Checking Between Different Power-Aware Descriptions. In Daniel Große, Sara Vinco, Hiren Patel, editors, Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2017 [Verona, Italy, September 18-20, 2017]. Volume 530 of Lecture Notes in Electrical Engineering, pages 107-127, Springer, 2017. [doi]