Jan Toennemann, Adina Aniculăesei, and Andreas Rausch. 2020.
 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>, outubro 19, 2020, Natal/RN, Brasil. SBC, Porto Alegre, Brasil, 60–68.