Menezes, B., 		Martins, A., & 		Rocha, T.
2021 Dec  7.  A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :