DBMS supporting graph, document, full-text and geospatial models
Create consistent Uml diagrams
Specifications for TRAK architecture views
MDG for Sparx' Enterprise Architect to Create TRAK arch. descriptions
Jupyter notebooks that demonstrate how to build models using SageMaker
Petri net framework for security related modeling and reasoning.
Computer-aided threat modeling