Menezes, Bruno , 		Martins, Ana Teresa, E 		Rocha, Thiago.
" A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (7 dezembro 2021)