@inproceedings{fc69347da0c1422da27cb0efdc75e2e9,
title = "RAT: A Tool for the Formal Analysis of Requirements",
author = "Bloem, {Roderick Paul} and Roberto Cavada and Pill, {Ingo Hans} and Marco Roveri and Andrei Tchaltsev",
year = "2007",
doi = "10.1007/978-3-540-73368-3_30",
language = "English",
isbn = "978-3-540-73367-6",
volume = "4590",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "263--267",
booktitle = "19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings",
note = "International Conference on Computer Aided Verification ; Conference date: 03-07-2007 Through 07-07-2007",
}