Designing Safety PLCs