Menezes, B., 		Martins, A., & 		Rocha, T.
(2021).
 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>, (pp. 1-16). Porto Alegre: SBC.