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