1. Weak bisimulation for fully probabilistic processes;Baier,1997
2. Principles of Model Checking;Baier,2008
3. Efficient CTMC model checking of linear real-time objectives;Barbot,2011
4. The SMT-LIB standard: version 2.0;Barrett,2010
5. Algebra of communicating processes with abstraction;Bergstra;Theor. Comput. Sci.,1985