Most high integrity software development includes roles for systems engineers that do this (avionics, medical, nuclear, rail, automotive). See standards like ARP4754A, INCOSE working group on requirements engineering for leads, or if you are really into it, applications of formal methods like DO-333