Event-Driven Process Chain for Modeling and Verification of Business Requirements–A Systematic Literature Review | IEEE Journals & Magazine | IEEE Xplore