An event correlation approach for fault diagnosis in SCADA infrastructures