From CSP Models to Markov Models. - Erling Vagn Sørensen; Jens Nordahl; Niels Herman Hansen (IEEE Trans. Software Eng., 1993)