A principled approach to mining from noisy logs using Heuristics Miner | IEEE Conference Publication | IEEE Xplore