A Model-Based Design and Verification Framework for Virtual ECUs in Automotive Seat Control Systems | Synapse