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