Saharudin SN, Said MY. Keep All Objectives Satisfied (KAOS) to Event-B Models Transformation. Int. J. Adv. Sci. Eng. Inf. Technol. [Internet]. 2022 Dec. 18 [cited 2024 Jul. 22];12(6):2443-51. Available from: https://ijaseit.insightsociety.org/index.php/ijaseit/article/view/15875