DJEDDI, C.; ZAROUR, N.- eddine; CHARREL, P.-J. Formal verification of the extension of iStar to support Big data projects. Computer Science, [S. l.], v. 22, n. 3, 2021. DOI: 10.7494/csci.2021.22.3.4035. Disponível em: https://journals.agh.edu.pl/csci/article/view/4035. Acesso em: 24 apr. 2024.