Derivation of passage-time densities in PEPA models using ipc: the imperial PEPA compiler | IEEE Conference Publication | IEEE Xplore