Towards an automated verification process for industrial safety applications