Bruno  Menezes, Ana Teresa Martins, and Thiago Rocha. 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>, dezembro 07, 2021, Campina Grande, Brasil. SBC, Porto Alegre, Brasil, 1-16.