Statistical Certification of Software Systems. - Alessandro Di Bucchianico; Jan Friso Groote; Kees M. van Hee; Ronald Kruidhof (Commun. Stat. Simul. Comput., 2008)