Trust But Verify: A Framework for the Trustworthiness of Distributed Systems. - Reem M. Albarrak; Daniel A. Menascé (IEEE Trans. Dependable Secur. Comput., 2022)