CPSDebug: A tool for explanation of failures in cyber-physical systems