Djeddi, C., N.- eddine Zarour, and P.-J. Charrel. “Formal Verification of the Extension of IStar to Support Big Data Projects”. Computer Science, vol. 22, no. 3, Sept. 2021, doi:10.7494/csci.2021.22.3.4035.