Djeddi, Chabane, Nacer-eddine Zarour, and Pierre-Jean Charrel. 2021. “Formal Verification of the Extension of IStar to Support Big Data Projects”. Computer Science 22 (3). https://doi.org/10.7494/csci.2021.22.3.4035.