LARIS 1.0 LAnguage for Railway Interlocking Speciļ¬cations Wan Fokkink Jan Friso Groote CWI Department of Software Engineering wan@cwi.nl jfg@cwi.nl Marco Hollenberg Philips Research Department of Software Technology marco.hollenberg@philips.com Bas van Vlijmen Utrecht University Department of Philosophy vlijmen@phil.uu.nl This document has been produced in cooperation with Holland Railconsult by order of NS Railinfrabeheer.