Djeddi, C., Zarour, N.- eddine, & Charrel, P.-J. (2021). Formal verification of the extension of iStar to support Big data projects. Computer Science, 22(3). https://doi.org/10.7494/csci.2021.22.3.4035