@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={} }