Freeing product line architectures from execution dependencies [avionics software] | IEEE Conference Publication | IEEE Xplore