Developing railway interlocking systems with session types and Event-B.

Tibor Kiss, Katalin Tunde Janosi-Rancz

Browse the full SACI paper archive.