Saharudin, Syahana Nur’Ain, and Mar Yah Said. “Keep All Objectives Satisfied (KAOS) to Event-B Models Transformation”. International Journal on Advanced Science, Engineering and Information Technology 12, no. 6 (December 18, 2022): 2443–2451. Accessed July 22, 2024. https://ijaseit.insightsociety.org/index.php/ijaseit/article/view/15875.