Merge pull request #40 from vprevosto/local

CEA/FhG application story
First steps of URO and TWT
Merge pull request #41 from srieger/master

First steps of URO and TWT
Added benchmark models and hazardous events for the VnV level 1
Added index
Safety interfaces added in Ch. 5
Removed organisational content
Streamlining, restructuring, several minor additions
Strategy revised, some other (minor) changes
Resolving conflicts and adding commit by UweSteinke
Integration of section on classical B.
section on Event B  and data VnV shall be completed by Systerel
Pdf file not generated due to number of package trouble
Formalization of Subset-026-7 (Chapter 7: ERTMS/ETCS language)

- Name: Subset-026-7 / Bitwalker / Bitwalker.h
- Description: UNISIG SUBSET-026-7, ISSUE : 3.3.0, 3.5 ERTMS/ETCS language)
- Copyright Siemens AG, 2013
- Licensed under the EUPL V.1.1 ( http://joinup.ec.europa.eu/software/page/eupl/licence-eupl )
- Gist URL: none
- Cryptography: No
- Author(s): SiemensRailAutomation

Terms of use:

The use of this software is limited to NON-vital applications.
It has NOT been developed for vital operation purposes and MUST NOT be used for applications
which may cause harm to people, physical accidents or financial loss.

THEREFORE, NO LIABILITY WILL BE GIVEN FOR SUCH AND ANY OTHER KIND OF USE.
*/

Signed-off-by: SiemensRailAutomation <openetcs.mobility@siemens.com>
Merge pull request #67 from SiemensRailAutomation/master

Formalization of Subset-026-7 (Chapter 7: ERTMS/ETCS language)
add Readme with instructions for Makefile generation
Adding a first version of a reduced set of parameters used for calculation of breaking curves
- added overview picture
Uni Bremen First step added
add bmc paragraph
A template directory structure for VnV activities
Guidelines for the template directory structure for V&V user stories.
formatting of the document e.g. table, change titel, added and URL reference