Specification of Radio Based Railway Crossings with the Combination of CSP, OZ, and DC
Jochen Hoenicke · 2007
. We use a combination of three techniques for the specification of processes, data and time: CSP, Object-Z and Duration Calculus. Whereas the combination of CSP and Object-Z is well established by the work of C. Fischer [2, 3], the integration with Duration Calculus is new. The combination is used to specify parts of a novel case study on radio controlled railway crossings. 1