@InProceedings{NPZ15,
author={G. Norman and D. Parker and Xueyi Zou},
title={Verification and Control of Partially Observable Probabilistic Real-Time Systems},
booktitle={Proc. 13th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'15)},
year={2015},

editor={},
pages={240-255},
organization={},
publisher={Springer},
series={LNCS},
volume={9268},
address={},
month={},
note={},
key={}
}