Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli: Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems. MEMOCODE 2023: 180-190