Software and systems engineering — Methods and tools for variability traceability in software and systems product line