Leveraging Dual Timestamps to Enhance Process Model Construction Using Time-Infused Inductive Miner | IEEE Journals & Magazine | IEEE Xplore