A Case Study on Modeling of Complex Event Processing in Enterprise Architecture.
Formalization and Verification of Event-driven Process Chains