Applying Process Mining to the Ship Handling Process at Oil Terminal | IEEE Conference Publication | IEEE Xplore