Process Mining Based on Specification Slicing for Dynamic Reconfiguration | IEEE Conference Publication | IEEE Xplore