I suggest you look through the publications from the RODIN project.
http://rodin.cs.ncl.ac.uk/publications.htm

Regards

Martyn Thomas CBE FREng
http://www.thomas-associates.co.uk



paul cleary wrote:
> Can anybody advise on the use of B method (Clearsys) in rail control and safty context. How does this compare to other formal methods, such as Z.
>
>   
>