The cybertruck steer by wire IIRC has dual redundant everything including power supplies (the redundant one is powered by a DC-DC converter from the HV battery)
[1] J. C. Knight and N. G. Leveson, “An experimental evaluation of the assumption of independence in multiversion programming,” IIEEE Trans. Software Eng., vol. SE-12, no. 1, pp. 96–109, Jan. 1986, doi: 10.1109/TSE.1986.6312924.