A combined approach to specification development

The following zip files are CSP||B models that support our research papers.

The models for the multi-directional tunnel and buffer example for FMRail can be found here. They can be loaded into ProB directly using the CSP to control the B machine facility.