Güdemann, Matthias, E 		Riedl, Klaus.
" Level-Up - From Bits to Words" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (6 dezembro 2022)