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