An efficient algorithm for aggregating PEPA models (2001)

by S Gilmore, J Hillston, M Ribaudo
Venue:IEEE Transactions on Software Engineering