Djeddi, Chabane, Nacer-eddine Zarour, and Pierre-Jean Charrel. “Formal Verification of the Extension of IStar to Support Big Data Projects”. Computer Science 22, no. 3 (September 30, 2021). Accessed April 25, 2024. https://journals.agh.edu.pl/csci/article/view/4035.