@Article{NPS13,
author={Gethin Norman and David Parker and Jeremy Sproston},
title={Model Checking for Probabilistic Timed Automata},
journal={Formal Methods in System Design},
year={2013},

volume={43},
number={2},
pages={164--190},
publisher={Springer},
month={},
note={},
key={}
}