Stephen Gilmore Jane Hillston Leïla Kloul Marina Ribaudo Software performance modelling using PEPA nets. 13-23 2004 conf/wosp/2004 WOSP http://doi.acm.org/10.1145/974044.974047 db/conf/wosp/wosp2004.html#GilmoreHKR04