Menezes, Bruno , 		Martins, Ana Teresa, AND 		Rocha, Thiago.
" A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking" <em>Proceedings of the Brazilian Symposium on Formal Methods (SBMF)</em> [Online], (7 December 2021)