Name: Event-B model

Description:  First Eventb model of chapter 3.5 of subset 026
Gist URL:
Cryptography: No
Author(s): Matthias Güdemann

I hereby declare that I accept to contribute following the openETCS terms of use and the openETCS IP policy.

http://openetcs.org/termsofuse/

https://github.com/openETCS/ecosystem/wiki/IP-Policy
Merge remote-tracking branch 'origin/master'