Djeddi, Chabane, et al. “Formal Verification of the Extension of IStar to Support Big Data Projects”. Computer Science, vol. 22, no. 3, Sept. 2021, https://doi.org/10.7494/csci.2021.22.3.4035.