Composition and Refinement of Probabilistic Real-Time Systems. - Zhiming Liu; Jens Nordahl; Erling Vagn Sørensen (SAFECOMP, 1993)

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