Algorithmic bisimulation for Communicating Piecewise Deterministic Markov Processes. - Strubbe, Stefan; Schaft, Arjan van der (2005)