4 works on record
Power optimization and synthesis at behavioral and system levels using formal methods
1999
Low power design methodologies
Power aware design methodologies
Computer-Aided Design and Optimization of Hybrid Energy Storage Systems