Joost-Pieter Katoen Marta Z. Kwiatkowska Gethin Norman David Parker Faster and Symbolic CTMC Model Checking. 23-38 2001 conf/papm/2001 PAPM-PROBMIV http://link.springer.de/link/service/series/0558/bibs/2165/21650023.htm db/conf/papm/papm2001.html#KatoenKNP01