Quantitative analysis by Kim et al.,
FMOODS 2007
"A Probabilistic Formal Approach to Cross-layer Optimization in Distributed Embedded Systems"
alpha: error bound, delta: confidence interval, pval: pvalue for JB test
minsize: minimum rounds, maxsize: maximum rounds, rate: % of sample (=rounds) increase