Safety engineering with AS-Interface