@Article{KNP07b,
author={M. Kwiatkowska and G. Norman and D. Parker},
title={Controller Dependability Analysis By Probabilistic Model Checking},
journal={Control Engineering Practice},
year={2006},

volume={15},
number={11},
pages={1427-1434},
publisher={Elsevier},
month={},
note={},
key={}
}