Toennemann, J., 		Aniculăesei, A., & 		Rausch, A.
(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>, (pp. 60–68). Porto Alegre: SBC.