RAT: A tool for formal analysis of requirements (2006)

by R Bloem, R Cavada, A Cimatti, I Pill, M Roveri, S Semprini, A Tchaltsev
Venue:In Demo Session of the 17th European Conference on Artificial Intelligence, Riva del Garda