RailwayCrossing.cbf SDL model as native file for Cinderella.
RailwayCrossing.cif SDL model as CIF file.
RailwayCrossing_cbf.pdf SDL model as viewable PDF file
RailwayCrossing_doc.pdf - Background documentation
To carry out the tests the model was slightly modified:
RailwayCrossing-rev.cbf modified SDL model as native file for Cinderella.
RailwayCrossing-rev.pdf modified SDL model as viewable PDF file
The following files are message seqeunce charts as viewable PDF files: