Turning back time in Markovian process algebra · Study