Principled and automated system of systems composition using an ontological architecture