Dong, Y. et al. 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.