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://storeanimalwiz.shop/product-category/toys-rubber/