1. Trivedi, K., & Bobbio, A. (2017). Reliability and availability engineering. Cambridge: Cambridge University Press.
2. Sahner, R., Trivedi, K., & Puliafito, A. (1996). Performance and reliability analysis of computer systems: An example-based approach using the SHARPE software package. Kluwer Academic Publishers.
3. Trivedi, K., & Sahner, R. A. (2009). SHARPE at the age of twenty two. ACM Performance Evaluation Review, 36(4).
4. Ciardo, G., Muppala, J., & Trivedi, K. (1989). SPNP: Stochastic petri net package. In Proceedings of Third International Workshop on Petri Nets and Performance Models (pp. 142–151).
5. Hirel, C., Tuffin, B., & Trivedi, K. (2000). SPNP: Stochastic petri nets. Version 6. In B. Haverkort & H. Bohnenkamp (Eds.), International Conference on Computer Performance Evaluation: Modelling Techniques and Tools (TOOLS 2000), LNCS 1786 (pp. 354–357). Berlin: Springer.