Modelling Reactive Systems with Event Storming and Domain-Driven Design