HIGH-LEVEL COUNTEREXAMPLES FOR PROBABILISTIC AUTOMATA. - WIMMER, RALF; JANSEN, NILS; ÁBRAHÁM, ERIKA; KATOEN, JOOST-PIETER (Logical Methods in Computer Science (LMCS), 2015)