Simonetta Balsamo, Gian-Luca Dei Rossi, Andrea Marin: A Numerical Algorithm for the Solution of Product-Form Models with Infinite State Spaces. EPEW 2010: 191-206