1. HOOD: Hierarchical Object Oriented Design. http://www.esa.int/TEC/Software_engineering_and_standardisation/TECKLAUXBQE_0.html
2. Stood. http://www.ellidiss.com/products/stood/
3. Sbprolog. Stony Brook Prolog. https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/sbprolog/0.html
4. AADL: SAE AS-5506D, Architecture Analysis and Design Language. https://www.sae.org/standards/content/as5506d/
5. UML: Unified Modeling Language. http://uml.org/