Refining Successive Refinement: Improving a Methodology for Incremental Specification of Power Intent Author(s): Desinghu PS, Adnan Khan, Erich Marschner, and Gabriel Chidolue Download
