The tool used to analyze STAMP. It uses a control-theory based hazard analysis technique similar to PHA but works top-down (i.e., top event to specific causes).
