Fatemeh Kazemi Vanhari / Event-B