A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking. - Bruno Menezes; Ana Teresa C. Martins; Thiago Alves Rocha (SBMF, 2021)