@InProceedings{GF06b,
author={J. Greifeneder and G. Frey},
title={Determination of Delay Times in Failure Afflicted Networked Automation Systems using Probabilistic Model Checking},
booktitle={Proc. 6th IEEE International Workshop on Factory Communication Systems (WFCS'06)},
year={2006},

editor={},
pages={263-272},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}