A CSP Approach to Control in Event-B

article published in 2010

A Step towards Merging xUML and CSP ${\| \ }$ B

article by Helen Treharne et al published 2009 in Lecture Notes in Computer Science

An Optimization Approach for Effective Formalized fUML Model Checking

An integrated framework for checking the behaviour of fUML models using CSP

Automatic Generation of CSP || B Skeletons from xUML Models

Bounded Retransmission in Event-B∥CSP: a Case Study

CSP theorems for communicating B machines

Changing system interfaces consistently: A new refinement strategy for CSP ∥ B

Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP

Linking Semantic Models to Support CSP ∥ B Consistency Checking

Managing LTL Properties in Event-B Refinement

Object Modelling in the SystemB Industrial Project

On modelling and verifying railway interlockings: Tracking train lengths

OnTrack: An Open Tooling Environment for Railway Verification

Policy templates for relationship-based access control

Special issue on Automated Verification of Critical Systems (AVoCS 2013)

Tank Monitoring: A pAMN Case Study

Tank monitoring: a pAMN case study

Techniques for modelling and verifying railway interlockings

The behavioural semantics of Event-B refinement

Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP

Verification of Scheme Plans Using CSP $$||$$ | | B