Bug in Probabilistic Timed Rebeca is fixed.