IEEE CS Press, 2009.Daniel Klink, Anne Remke, Boudewijn R. Haverkort, and Joost-Pieter Katoen. Time- bounded reachability in tree-structured qbds by abstraction. Performance Evaluation, 68(2):105-125, 2011.D. Klink, A. Remke, B. R. Haverkort, J.-P. Katoen. Time-bounded Reachability ...