SMART: Stochastic Model-checking Analyzer for Reliability and Timing (2002)

by G Ciardo, R Jones, A Miner, R Siminiceanu
Venue:In Proceedings of the International Conference on Dependable Systems and Networks (DSN’02