Updated spec, according to https://github.com/openETCS/toolchain/issues/274#issuecomment-34981947