High Confidence Subsystem Modelling for Reuse | Publicación