TY - BOOK AU - Ghosh TI - Functional and Reactive Domain Modeling PB - IEEE UR - https://ieeexplore.ieee.org/servlet/opac?bknumber=10280077 ER -