1. Barnat J, Bauch P, Brim L, Ceska M (2011) Computing Strongly Connected Components in Parallel on CUDA. In: IPDPS, IEEE, pp 544–555
2. de Alfaro L (1998) How to specify and verify the long-run average behavior of probabilistic systems. In: LICS, IEEE Computer Society, pp 454–465
3. Stuhl M (2013) Computing Strongly Connected Components with CUDA. Master’s thesis, Masaryk University
4. Ábrahám E, Jansen N, Wimmer R, Katoen JP, Becker B (2010) DTMC model checking by SCC reduction. In: QEST, IEEE Computer Society, pp 37–46
5. Baier C, Katoen JP (2008) Principles of model checking. the mit press, Cambridge