Pedro R. D'Argenio Jos C. M. Baeten Guest editors' introduction: Special issue on Probabilistic Techniques for the Design and Analysis of Systems. 1-2 2003 56 J. Log. Algebr. Program. 1-2 http://dx.doi.org/10.1016/S1567-8326(02)00064-4 db/journals/jlp/jlp56.html#DArgenioB03