Menezes, B., 		Martins, A., & 		Rocha, T.
(2021).
A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking.
In <em>Anais do XXIV Simpósio Brasileiro de Métodos Formais</em>, (pp. 1-16). Porto Alegre: SBC.