Programowanie przekaźników/sterowników bezpieczeństwa, SAFETY PLC