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