SMART: Stochastic Model-checking Analyzer for Reliability and Timing. - Gianfranco Ciardo; R. L. Jones III; Robert M. Marmorstein; Andrew S. Miner; Radu Siminiceanu (DSN, 2002)

Logical and Stochastic Modeling with SMART. - Gianfranco Ciardo; R. L. Jones III; Andrew S. Miner; Radu Siminiceanu (Computer Performance Evaluation / TOOLS, 2003)

Logic and stochastic modeling with S m A r T. - Gianfranco Ciardo; R. L. Jones III; Andrew S. Miner; Radu Siminiceanu (Perform. Evaluation, 2006)