B. Menezes, A. Martins, and T. Rocha.
" 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>, Campina Grande, 2021, pp. 1-16.