On the Diagnosis of Cyber-Physical Production Systems