J. Toennemann, A. Aniculăesei, and A. Rausch.
" Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations", in <em>Proceedings of the 5th Brazilian Symposium on Systematic and Automated Software Testing</em>, Natal/RN, 2020, pp. 60–68.