openETCS/validation — pull request #179 by mgudemann (2014-03-11 12:28:45+00:00)
Title: PR for Review of D4.2.1 (TWT) -  B/Event-B model - issue #171

######### SNIP

Name: Resolved issue #171 for Systerel section of D4.2.1
Description: Include comments by @srieger about the B-model and Event-B model
Gist URL:
Cryptography: No
Author(s): Self
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

######### SNAP