Capella — software environment for model-based systems engineering