Saharudin, S. N.; Said, M. Y. Keep All Objectives Satisfied (KAOS) to Event-B Models Transformation. Int. J. Adv. Sci. Eng. Inf. Technol. 2022, 12, 2443-2451.