Software Product Line Configuration and Traceability: An Empirical Study on SMarty Class and Component Diagrams | IEEE Conference Publication | IEEE Xplore