Toennemann, J., 		Aniculăesei, A., & 		Rausch, A.
2020 out 19.  Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations. Anais do Simpósio Brasileiro de Testes de Software Sistemático e Automatizado (SAST). [Online] :