Some bugs are fixed.
Probabilistic Timed Rebeca is supported.