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), pp. 2443–2451. doi: 10.18517/ijaseit.12.6.15875.