J. Toennemann, A. Aniculăesei, and A. Rausch.
" Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations", in <em>Anais do V Simpósio Brasileiro de Testes de Software Sistemático e Automatizado</em>, Natal/RN, 2020, pp. 60–68.