Contribution to Automated Generating of System Power-Management Specification | IEEE Conference Publication | IEEE Xplore