1. https://github.com/anubhavsrivastavaa/multivesta-qnetworks
2. Agha, G., Palmskog, K.: A survey of statistical model checking. ACM Trans. Modeling Comp. Simul. (TOMACS) 28(1), 6 (2018)
3. Agha, G.A., Meseguer, J., Sen, K.: PMaude: rewrite-based specification language for probabilistic object systems. Electron. Notes Theor. Comput. Sci. 153(2), 213–239 (2006)
4. Lecture Notes in Computer Science;Musab AlTurki,2011
5. Baier, C., Katoen, J.P.: Principles of Model Checking (Representation and Mind Series). The MIT Press (2008)