Dependable Systems and Software
Our discounted work on Markov automata wins the best paper award at MMB 2018.