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.