Successive Refinement: A Methodology for Incremental Specification of Power Intent Author(s): Adnan Khan, John Biggs, Eamonn Quigley, and Erich Marschner Download
