Speeding up IEC 61508-compliant designs