State of the art verification methodologies in 2015. - Allan Crone; Oliver Bringmann 001; C. Chevallaz; B. Dickman; Volkan Esen; Michael Rohleder (DATE, 2011)