Our paper “The COMICS Tool – Computing Minimal Counterexamples for DTMCs“ was accepted at ATVA’12.