Context-Aware Trace Alignment with Automated Planning | IEEE Conference Publication | IEEE Xplore