Building product-lines of mixed-criticality systems | Publicación