Design and Analysis of Secure and Dependable Automotive CPS: A Steer-by-Wire Case Study | Synapse