Work Packages The CAP project targets three work packages: WP1: Exploiting Modularity and Compositionality WP2: Abstraction-Based Model Reduction WP3: Approaches for Parametrized Systems
