Theo C. Ruys, Gerard J. Holzmann: Advanced SPIN Tutorial. SPIN 2004: 304-305