Salem Derisavi Signature-based Symbolic Algorithm for Optimal Markov Chain Lumping. 141-150 2007 QEST http://doi.ieeecomputersociety.org/10.1109/QEST.2007.43 conf/qest/2007 db/conf/qest/qest2007.html#Derisavi07