Jane Hillston Leïla Kloul An Efficient Kronecker Representation for PEPA Models. 120-135 2001 conf/papm/2001 PAPM-PROBMIV http://dx.doi.org/10.1007/3-540-44804-7_8 db/conf/papm/papm2001.html#HillstonK01