1. Finding the k shortest paths;Eppstein;SIAM J. Computing,1998
2. Principles of Model Checking;Baier,2008
3. Counterexamples in probabilistic model checking;Han,2007
4. H. Aljazzar, Directed diagnostics of system dependability models, PhD thesis, University of Konstanz, 2009. URL http://kops.ub.uni-konstanz.de/volltexte/2009/9188/.
5. Generation of counterexamples for model checking of Markov decision processes;Aljazzar,2009