Product line tool-chain: Variability in critical systems | IEEE Conference Publication | IEEE Xplore