Bonino, M. B., A. Garis, and D. Riesco. “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, doi:10.15282/ijsecs.7.2.2021.2.0085.