Optimizing Event Pattern Matching Using Business Process Models | IEEE Journals & Magazine | IEEE Xplore