Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard. Model-based construction and verification of critical systems using composition and partial refinement. Formal Methods in System Design, 37(2-3):265-294, 2010. [doi]
Abstract is missing.