Safety systems for railways have shifted from electronic relays to more computer-oriented approaches. This article highlights
the language EURIS from NS Railinfrabeheer, which champions an object-oriented method for the specification of interlocking
logics.