Dong, Y., Bouskela, D., Nguyen, T. and Jardin, A. 2018. Bindings: a New Approach for Co-simulation Applied to System Design Verification Against Requirements. Center for Model-Based Cyber-Physical Product Development. 20, 12 (Feb. 2018), 12.