Toennemann, J., 		Aniculăesei, A., & 		Rausch, A.
(2020).
 Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations.
In <em>Proceedings of the 5th Brazilian Symposium on Systematic and Automated Software Testing</em>, (pp. 60–68). Porto Alegre: SBC.