Toennemann, Jan, 		Aniculăesei, Adina, AND 		Rausch, Andreas.
" Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations" <em>Proceedings of the Brazilian Symposium on Systematic and Automated Software Testing (SAST)</em> [Online], (19 October 2020)