TPAL: a timed-probabilistic model for concurrent processes | Publicación