A Case Study of CPNS Intelligence: Provenance Reasoning over Tracing Cross Contamination in Food Supply Chain | IEEE Conference Publication | IEEE Xplore