This exercise contains an example of how to create a textual scenario model in MSC PR (Phrase Representation) and how to use the command-line interface of the KLOCwork MSC to SDL Synthesizer to produce an SDL model.
To perform all steps of this example, you need to have installed:
All source files for this example can be found in the following directory:
<KLOCwork MSC to SDL Synthesizer installation directory> /doc/examples/Simple