Directly Follows-Based Process Mining: Exploration & a Case Study | IEEE Conference Publication | IEEE Xplore