A. Bonifacio.
" Language-Based Testing for Pushdown Reactive Systems", in <em>Anais do XXVI Simpósio Brasileiro de Métodos Formais</em>, Manaus/AM, 2023, pp. 75-91.