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, vol. 12, no. 6, Dec. 2022, pp. 2443-51, doi:10.18517/ijaseit.12.6.15875.