Model analysis for business event processing | IBM Journals & Magazine | IEEE Xplore