Unravel: A CASE Tool to Assist Evaluation of High Integrity Software