Menezes, Bruno , Ana Teresa Martins, and Thiago Alves Rocha.
"A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking." <em>Anais do XXIV Simpósio Brasileiro de Métodos Formais,
Campina Grande, 2021</em>. SBC, 2021,  
pp.1-16.