David Daly: Bounded Aggregation Techniques to Solve Large Markov Models. University of Illinois Urbana-Champaign, USA 2005