EURIS, a Specification Method for Distributed Interlockings. - Fokko van Dijk; Wan J. Fokkink; Gea Kolk; Paul van de Ven; Bas van Vlijmen (SAFECOMP, 1998)