Reactive Distributed System Modeling Supported by Complex Event Processing | IEEE Conference Publication | IEEE Xplore