IEC61131-6: Safety for PLCs