RAT: A tool for the formal analysis of requirements (2007)

by R Bloem, R Cavada, I Pill, M Roveri, A Tchaltsev
Venue:In Computer Aided Verification