Saharudin, Syahana Nur’Ain, and Mar Yah Said. 2022. “Keep All Objectives Satisfied (KAOS) to Event-B Models Transformation”. International Journal on Advanced Science, Engineering and Information Technology 12 (6):2443-51. https://doi.org/10.18517/ijaseit.12.6.15875.