SAHARUDIN, Syahana Nur’Ain; SAID, Mar Yah. Keep All Objectives Satisfied (KAOS) to Event-B Models Transformation. International Journal on Advanced Science, Engineering and Information Technology, [S. l.], v. 12, n. 6, p. 2443–2451, 2022. DOI: 10.18517/ijaseit.12.6.15875. Disponível em: https://ijaseit.insightsociety.org/index.php/ijaseit/article/view/15875. Acesso em: 22 jul. 2024.