RAT: A tool for formal analysis of requirements