Proving the Effectiveness of Negotiation Protocols KQML in Multi-agent Systems Using Event-B. - Ammar Alhaj Ali; Roman Jasek; Said Krayem; Petr Zacek (CSOC (2), 2017)

Improved Adaptive Fault Tolerance Model for Increasing Reliability in Cloud Computing Using Event-B. - Ammar Alhaj Ali; Roman Jasek; Said Krayem; Bronislav Chramcov; Petr Zacek (CSOC (3), 2018)