Specification and analysis of power-managed systems