@InProceedings{KNP04c,
author={M. Kwiatkowska and G. Norman and D. Parker},
title={Controller Dependability Analysis By Probabilistic Model Checking},
booktitle={Proc. 11th IFAC Symposium on Information Control Problems in Manufacturing (INCOM'04)},
year={2004},

editor={},
pages={177--182},
organization={},
publisher={Elsevier},
series={},
volume={},
address={},
month={},
note={},
key={}
}