Automated traceability of requirements in the design and verification process of safety-critical mixed-signal systems Author(s): Gabriel Pachiana, Maximilian Grunwald, Thomas Markwirth, Christoph Sohrmann Download