Variability management in product lines of safety critical embedded systems | IEEE Conference Publication | IEEE Xplore