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 (Sep. 2021). DOI:https://doi.org/10.7494/csci.2021.22.3.4035.