event-b-tickets

Система бронирования авиабилетов. В ней имеется набор авиарейсов, на которые можно забронировать билеты. Для каждого рейса фиксированы пункты отправления и назначения, а также максимальное количество пассажиров. Система должна обеспечивать возможность добавления/удаления рейсов, бронирования билетов/отказа от брони. требуется написать соответствующую модель на Event-B