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