1. The algorithmic analysis of hybrid systems;Alur;Theoretical Computer Science,1995
2. Piecewise-deterministic markov processes: A general class of non-diffusion stochastic models;Davis;Journal of the Roy. Stat. Soc. Series B,1984
3. Piecewise deterministic markov processes represented by dynamically coloured petri nets;Everdij,2000
4. Interactive Markov Chains;Hermanns,1999
5. Control of hybrid behavioral automata by interconnection;Julius;Proceedings of ADHS 2003,2003