Djeddi, C.; Zarour, N.- eddine; Charrel, P.-J. Formal Verification of the Extension of IStar to Support Big Data Projects. csci 2021, 22.