Optimizing Virtual Commissioning of a Robotic System using Process Mining and Footprints Conformance Checking | IEEE Conference Publication | IEEE Xplore