Functional and Reactive Domain Modeling