TY - RPRT TI - A Semantic Model for Interacting Cyber-Physical Systems AU - Benjamin Lion AU - Farhad Arbab AU - Carolyn Talcott PY - 2022 UR - https://arxiv.org/abs/2106.15661 ID - 2106.15661 ER -