SMART: stochastic model-checking analyzer for reliability and timing | IEEE Conference Publication | IEEE Xplore