S. N. Saharudin and M. Y. Said, “Keep All Objectives Satisfied (KAOS) to Event-B Models Transformation”, Int. J. Adv. Sci. Eng. Inf. Technol., vol. 12, no. 6, pp. 2443–2451, Dec. 2022.