Compositional Analysis of Parametric Cooperative Cyber-Physical Systems. - Raniah A Alghamdi; Richard J. Trefler (FormaliSE@ICSE, 2024)