B. Menezes, A. Martins, and T. Rocha.
" A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking", in <em>Proceedings of the 24th Brazilian Symposium on Formal Methods</em>, Campina Grande, 2021, pp. 1-16.