https://5dok.org/document/q05p88vx-some-technical-aspects-of-an-interlocking-specification-language.html