How to Make FDR Spin LTL Model Checking of CSP by Refinement. - Michael Leuschel; Thierry Massart; Andrew Currie (FME, 2001)