the model being in the state s at ti, it will go in s',
if no external event occurs before ti + D(s).
When an external event occurs, the model being in the state
s since the elapsed time” e, it goes in s':
1- the next state depends on the elapsed time in the present state
2- at every state change, e is reset to 0