File to manage Event-B project