Railway.pdf SDL model as viewable PDF file. Note that there are MSC and SDL parts.
Railway.zip This contains all the source files for SDT - unlike Cinderella and GEODE, SDT stores the SDL in various idfferent files
Railway_doc.pdf Documentation for the model.
Railway_SDT.cif SDL model as CIF file.
The following files are message seqeunce charts as viewable PDF files:
Testcases.pdf MSC results as one viewable PDF file
TestCases.zip Test files for SDT