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