Concurrent system:Task about CSP and CASPER and model checker (FDR)

ThIs task requires a coding script that will allow cars to enter a bridge without any issue, and then submit the CSP code into FDR model check to check the errors if existed. Plus 800 words writing and 500 words report about CASPER and how it will be applied in the solution of the project.

required experts in :
CASPER
CSP
FDR Model checker.
Write peace in start of your proposal

please see the attached files for more info