Um Framework de Projeto e Verificação Baseado em Modelos para ECUs Virtuais em Sistemas de Controle de Assentos Automotivos | Synapse