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.