FlowSim
[BogdollHZ09] Bogdoll, J.; Hermanns, H. and Zhang, L. FlowSim Simulation Benchmarking Platform. In QEST, pages 211-212, Springer, 2009.[BogdollHZ08] Bogdoll, J.; Hermanns, H. and Zhang, L. An Experimental Evaluation of Probabilistic Simulation. In FORTE, pages 37-52, Springer, 2008.
