Djeddi, C.; Zarour, N.- eddine; Charrel, P.-J. Formal Verification of the Extension of IStar to Support Big Data Projects. csci 2021, 22 (3). https://doi.org/10.7494/csci.2021.22.3.4035.