Djeddi C, Zarour N eddine, Charrel PJ. Formal verification of the extension of iStar to support Big data projects. csci. 2021;22(3). doi:10.7494/csci.2021.22.3.4035