Enhancing Traceability and Error Analysis in Automotive Service-Oriented Architectures | Synapse