TY - RPRT TI - Formalizing Traceability and Derivability in Software Product Lines AU - Shankara Narayanan Krishna AU - Ganesh Narwane AU - Ramesh S. AU - Swarup Mohalik AU - Jean-Vivien Millo PY - 2012 UR - https://arxiv.org/abs/1201.0595 ID - 1201.0595 ER -