Successive Refinement: A Methodology for Incremental Specification of Power Intent

Author(s):
Adnan Khan, John Biggs, Eamonn Quigley, and Erich Marschner
Format:
pdf