@InProceedings{KNP02c,
author={M. Kwiatkowska and  G. Norman and A. Pacheco},
title={Model Checking {CSL} Until Formulae with Random Time Bounds},
booktitle={Proc. 2nd Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM/PROBMIV'02)},
year={2002},

editor={H. Hermanns and R. Segala},
pages={152--168},
organization={},
publisher={Springer},
series={LNCS},
volume={2399},
month={},
note={},
key={}
}