Tools to easily create and run an eventb-sourcing based project - David Gomez - EventSourcing Live 2021