It is the hope of the designers of LTSA that this manual should be largely unnecessary. In most cases, the user simply has to enter a specification in the FSP window and invoke one of the analysis functions from the Check menu. LTSA will perform the necessary compilation and LTS composition.
