Toennemann, Jan, 		Aniculăesei, Adina, E 		Rausch, Andreas.
" Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations" <em>Anais do Simpósio Brasileiro de Testes de Software Sistemático e Automatizado (SAST)</em> [Online], (19 outubro 2020)