Traceable specifications based on Doxygen
Model text file + layout text file -> beautiful diagram
DSL parser to support the SM Metamodel Class Model
Computation of minimal cutsets using MOCUS Algorithm
