Computer-aided analysis of concurrent systems. - E. Timothy Morgan; Rami R. Razouk (PSTV, 1985)

Interactive State-Space Analysis of Concurrent Systems. - E. Timothy Morgan; Rami R. Razouk (IEEE Trans. Software Eng., 1987)