Bonino, Maria Belen, et al. “FORMAL MODELING AND ANALYSIS OF ENTITY FRAMEWORK USING ALLOY ”. International Journal of Software Engineering and Computer Systems, vol. 7, no. 2, Aug. 2021, pp. 9-18, https://doi.org/10.15282/ijsecs.7.2.2021.2.0085.