"AutoCAT: Automated Product-Form Solution of Stochastic Models."

Giuliano Casale, Peter G. Harrison (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics