@InProceedings{GF07a,
author={J. Greifeneder and J. Frey},
title={Probabilistic Timed Automata for Modeling Networked Automation Systems},
booktitle={Proc. 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS)},
year={2007},

editor={},
pages={143-148},
organization={},
publisher={},
series={},
volume={},
address={},
month={June},
note={},
key={}
}