Marta Z. Kwiatkowska, Rashid Mehmood, Gethin Norman, David Parker: A Symbolic Out-of-Core Solution Method for Markov Models. PDMC@CONCUR 2002: 589-604