@InProceedings{CGW07,
author={R. Colvin and L. Grunske and K. Winter},
title={Probabilistic Timed Behavior Trees},
booktitle={Proc. 6th International Conference on Integrated Formal Methods (IFM'07)},
year={2007},

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