Bonino, Maria Belen, Ana Garis, and Daniel Riesco. “FORMAL MODELING AND ANALYSIS OF ENTITY FRAMEWORK USING ALLOY”. International Journal of Software Engineering and Computer Systems 7, no. 2 (August 30, 2021): 9–18. Accessed April 26, 2024. https://journal.ump.edu.my/ijsecs/article/view/4667.