Saharudin, S.N. and Said, M.Y. 2022. Keep All Objectives Satisfied (KAOS) to Event-B Models Transformation. International Journal on Advanced Science, Engineering and Information Technology. 12, 6 (Dec. 2022), 2443–2451. DOI:https://doi.org/10.18517/ijaseit.12.6.15875.