Reliability and Performability Modeling Using SHARPE 2000. - Christophe Hirel; Robin A. Sahner; Xinyu Zang; Kishor S. Trivedi (Computer Performance Evaluation / TOOLS, 2000)

SPNP: Stochastic Petri Nets. Version 6.0. - Christophe Hirel; Bruno Tuffin; Kishor S. Trivedi (Computer Performance Evaluation / TOOLS, 2000)

Simulation versus analytic-numeric methods: illustrative examples. - Bruno Tuffin; Pawan K. Choudhary; Christophe Hirel; Kishor S. Trivedi (VALUETOOLS, 2007)