Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study.

Antonis Papatsaras Bill Stoddart Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study. 458-476 2002 conf/zum/2002 ZB http://link.springer.de/link/service/series/0558/bibs/2272/22720458.htm db/conf/zum/zb2002.html#PapatsarasS02