Saharudin, S. N., & 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), 2443–2451. https://doi.org/10.18517/ijaseit.12.6.15875