Building product-lines of mixed-criticality systems | IEEE Conference Publication | IEEE Xplore