Hybrid systems. which combine discrete and continuous dynamics. require quality modeling languages to be either described or analyzed. The Concurrent Constraint paradigm (ccp) is an expressive declarative paradigm. https://detectorexpertes.shop/product-category/harness/