Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study. - Antonis D. Papatsaras; Bill Stoddart (ZB, 2002)

Modelling and tool support for the formal development of distributed systems. - Antonis D. Papatsaras (2003)