Add project organization for GNATprove-MERCE model

Signed-off-by: David MENTRE <d.mentre@fr.merce.mee.com>
Add license information

Signed-off-by: David MENTRE <d.mentre@fr.merce.mee.com>
Define a new type rather than a subtype for ertms_etcs_level_t

Signed-off-by: David MENTRE <d.mentre@fr.merce.mee.com>
Minor modification to project parameters

Signed-off-by: David MENTRE <d.mentre@fr.merce.mee.com>
Add §4.3.2, definition of ETCS modes

Signed-off-by: David MENTRE <d.mentre@fr.merce.mee.com>
Add Appendix A.3.1, constant definitions

Signed-off-by: David MENTRE <d.mentre@fr.merce.mee.com>
Minor naming cleanup

Signed-off-by: David MENTRE <d.mentre@fr.merce.mee.com>
Add formalization of part of §4.6, transition table

Signed-off-by: David MENTRE <d.mentre@fr.merce.mee.com>
Complete formalization of disjoint_condition_transitions

Signed-off-by: David MENTRE <d.mentre@fr.merce.mee.com>
Start of §3.5.3 modelling

Signed-off-by: David MENTRE <d.mentre@fr.merce.mee.com>
Rename build/ directory into obj/

Signed-off-by: David MENTRE <d.mentre@fr.merce.mee.com>