"A model-based end-to-end toolchain for the probabilistic analysis of ..."

Alessandro Pinto, Sudha Krishnamurthy, Suresh Kannan (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics