Dong, Y.; Bouskela, D.; Nguyen, T.; Jardin, A. Bindings: A New Approach for Co-Simulation Applied to System Design Verification Against Requirements. MODPROD 2018, 20, 12.