Updated Model of Experimental Brake System

Hello everybody,

I have attached a new version of the experimental brake model containing some changes:

• a "disk wiping" function has been added, which is controlled by another input signal turning it on or off, allowing for more Properties to be checked;
• the control flow structure is now a Stateflow chart, making the automaton structure explicit;
• it is now possible to abort the braking process immediately after it has been initiated;
• the overall structure of the model is now clearer, so that extracting hybrid automata for different tools is now easier;
• a pdf file is included, describing the changes in more detail, and also giving some possible requirements to be checked.

Jens Oehlerking