Güdemann, M., & 		Riedl, K.
(2022).
 Level-Up - From Bits to Words.
In <em>Proceedings of the 25th Brazilian Symposium on Formal Methods</em>, (pp. 124-142). Porto Alegre: SBC.