"How to Make FDR Spin LTL Model Checking of CSP by Refinement."

Michael Leuschel, Thierry Massart, Andrew Currie (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics