Un marco de diseño y verificación basado en modelos para ECUs virtuales en sistemas de control de asientos automotrices | Synapse