Rat: A tool for the formal analysis of requirements