1. Decisive Markov chains;Abdulla;Log. Methods Comput. Sci.,2007
2. Verification of probabilistic systems with faulty communication;Abdulla;Inf. Comput.,2005
3. Approximate verification of the symbolic dynamics of Markov chains;Agrawal,2012
4. Techniques for Automatic Verification of Real-Time Systems;Alur,1991
5. Bounded model checking for GSMP models of stochastic real-time systems;Alur,2006