Diagram Acceleration Requirement Refinement and Verification