The document proposes an approach called analysis contracts to address the problem of integrating different cyber-physical analyses. The approach involves formally specifying the dependencies, assumptions, and guarantees of each analysis. The assumptions of one analysis must be verified against the guarantees of any analyses it depends on. This ensures the correct ordering of analyses and that assumption violations do not occur. The approach is implemented in a framework and evaluated on examples involving scheduling and battery analyses, demonstrating it is effective, extensible, and scalable.