Ein modellbasiertes Design- und Verifizierungsframework für virtuelle ECUs in Steuerungssystemen für Fahrzeugsitze | Synapse