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 either the Check menu or directly from the toolbar. LTSA will perform the necessary parsing, compilation and LTS composition.