Y. Dong, D. Bouskela, T. Nguyen, and A. Jardin, “Bindings: a New Approach for Co-simulation Applied to System Design Verification Against Requirements”, MODPROD, vol. 20, no. 12, p. 12, Feb. 2018.