MSC to SDL Synthesizer 2.0.1 for Telelogic Tau add-in release notes 

1. Using MSCtoSDL together with Tau
===================================
The following command are available form the Organizer menu MSCtoSDL:

1.1. Analyze only
Analyzes selected MSCs. Error and warning messages (if any) are 
reported to the Organizer Log of Telelogic Tau. 

1.2. Synthesize type-based SDL
Synthesizes type-based SDL model from selected MSCs. In case of 
successful synthesis, SDL GR files are generated and imported 
into Telelogic Tau. Error and warning messages (if any) are 
reported in the Organizer Log of Telelogic Tau. 

1.3. Synthesize plain SDL
Synthesizes plain SDL model from selected MSCs. In case of successful 
synthesis, SDL GR files are generated and imported into Telelogic Tau. 
Error and warning messages (if any) are reported in the Organizer Log of 
Telelogic Tau. 

1.4. Simulate MSC
Synthesizes plain SDL model from selected MSCs. In case of successful 
synthesis, the synthesized SDL is imported into Telelogic Tau, and 
analyzed by the Telelogic Tau. The executable simulator model is 
produced and executed using the Telelogic Tau SDL Simulator. The 
executable model is simulated in terms of the input MSC model. In case 
of any problems error and warning messages are reported in the Organizer 
Log of Telelogic Tau. 

1.5. Help on the MSC to SDL Synthesizer
Opens the HTML browser and displays the MSC to SDL Synthesizer 
Reference Manual.