"UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata"

Peter E. Bulychev et al. (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics