@misc {IOPORT.70764532,
    author       = {\'Abrah\'am, Erika and Jansen, Nils and Wimmer, Ralf and Katoen, Joost-Pieter and Becker, Bernd},
    title        = {DTMC model checking by SCC reduction},
    howpublished = {QEST, 37-46 (2010).},
    year         = {2010},
    doi          = {10.1109/QEST.2010.13},
    identifier   = {70764532},
}