1. A theory of timed automata;Alur;Theor. Comput. Sci.,1994
2. Basic concepts and taxonomy of dependable and secure computing. Dependable and Secure Computing;Avizienis;IEEE Trans.,2004
3. Introduction to generalized stochastic petri nets;Balbo,2007
4. Stochastic model-based analysis of energy consumption in a rail road switch heating system;Basile,2015
5. Stochastic petri nets: an introduction to the theory. SIGMETRICS Perform;Bause;Eval. Rev.,1998