EdgeIM: An Efficient Edge-Based Process Model Discovery Technique | IEEE Conference Publication | IEEE Xplore