Bonino, M. B.; Garis, A.; Riesco, D. FORMAL MODELING AND ANALYSIS OF ENTITY FRAMEWORK USING ALLOY. IJSECS 2021, 7, 9-18.