Specification and Analysis of Power-Managed Systems | IEEE Journals & Magazine | IEEE Xplore