Tools to identify complexity in software models (e.g., SCADE, AADL). - View it on GitHub