Paper accepted

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