The Stochastic Model checking Analyzer for Reliability and Timing (2004)

by G Ciardo, Miner
Venue:In: QEST, IEEE Computer Society