Ruggero Lanotte Andrea Maggiolo-Schettini Angelo Troina Parametric probabilistic transition systems for system design and analysis. 93-109 2007 19 Formal Asp. Comput. 1 http://dx.doi.org/10.1007/s00165-006-0015-2 db/journals/fac/fac19.html#LanotteMT07