functional-safety
Model text file + layout text file -> beautiful diagram
Populate your modeled system into an Executable UML metamodel repository
Traceable specifications based on doxygen
Computation of minimal cutsets using MOCUS Algorithm
Shlaer-Mellor Executable UML Model Debugger
