The Omnibus language and integrated verification approach - Wilson, Thomas; Maharaj, Savi; Clark, Robert George (2007)