Critical systems validation and verification with CSP and FDR - Goldsmith, M; Zakiuddin, I (Springer Berlin/Heidelberg, 1999)