ETMCC: model checking performability properties of Markov chains | IEEE Conference Publication | IEEE Xplore