Bonino, M. B., Garis, A. and Riesco, D. (2021) “FORMAL MODELING AND ANALYSIS OF ENTITY FRAMEWORK USING ALLOY ”, International Journal of Software Engineering and Computer Systems, 7(2), pp. 9–18. doi: 10.15282/ijsecs.7.2.2021.2.0085.