M. B. Bonino, A. Garis, and D. Riesco, “FORMAL MODELING AND ANALYSIS OF ENTITY FRAMEWORK USING ALLOY ”, IJSECS, vol. 7, no. 2, pp. 9–18, Aug. 2021, doi: 10.15282/ijsecs.7.2.2021.2.0085.