Adapting Software Product Lines for complex certifiable avionics software | IEEE Conference Publication | IEEE Xplore