This whole model of ERTMS/ETCS SRS in GNATprove is under EUPL v.1.1
license. See EUPL-v.1.1-Preamble.pdf and EUPL-v.1.1-Licence.pdf files
for details.
