publication venue for A state-based approach to traceability maintenance 2010 Traceability in model-driven safety critical software engineering 2010
