Extreme Product Line Engineering: Managing Variability and Traceability via Executable Specifications | IEEE Conference Publication | IEEE Xplore