Hello Olivier,
You could have a look at the
Markov Chain Model of Radar Detector
example to understand about designing non-deterministic transitions within a stateflow chart. You could replace the Uniform random number block used in the model with the equivalent logic implementation of Exponential law.
Hope this helps!
