1 INTRODUCTION In safety-critical systems engineering, complex traceability requirements are mandated by regulations such as Automotive SPICE1 and ISO 26262 (in the automotive domain), ED-109A2 (in the air traffic management domain), DO-178C/ED-12C3 (for airborne systems), or FDA principles4, 5 (in the medical domain). These regulations describe on a high level, which traces need to exist among the various engineering artifacts such as requirements, design documents, source code, and tests.
