Tranand Zdun. Event Actors Based Approach for Supporting Analysis and Verification of Event-driven Architectures. IEEE, 2013, doi:10.1109/edoc.2013.32.