Introducing new verification methods into a company's design flow: an industrial user's point of view. - Robert Lissel; Joachim Gerlach (DATE, 2007)