Tree view / Creation rules view
CFG file with initial values for Code-generation options
Counters Ticks / Seconds / milli-Seconds
Enforce Immediate Entry to State Hierarchy
Execute all hierarchical default transitions in single step
Generate separate test expression for each Truth Table Row
Stop Parent Activity When Descendants Stopped
<name of SAG configuration file>