A Framework for Automated Detection of Power-related Software Errors in Industrial Verification Processes. - Stefano Gandini; Walter Ruzzarin; Ernesto Sánchez 001; Giovanni Squillero; Alberto Paolo Tonda (J. Electron. Test., 2010)