Menezes, B., 		Martins, A., & 		Rocha, T.
2021 dez  7.  A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :