A Formal Representation of Platform Feature-to-Requirement Traceability for Software Product Line Development. - Sungwon Kang; Jingyu Kim; Sungju Kang; Seokhwan Eom (COMPSAC, 2014)