Capella and Slate

Modeling languages for system engineering