Djeddi C, Zarour N- eddine, Charrel P-J. Formal verification of the extension of iStar to support Big data projects. csci [Internet]. 2021 Sep. 30 [cited 2025 Apr. 25];22(3). Available from: https://journals.agh.edu.pl/csci/article/view/4035