Functional and Reactive Domain Modeling - Ghosh (IEEE, 2003)