RTL & LDRA showcase value of partnerships in safety-critical software