@TechReport{NP14,
author={Gethin Norman and David Parker},
title={Quantitative Verification: Formal Guarantees for Timeliness, Reliability and Performance},
institution={The London Mathematical Society and the Smith Institute},
year={2014},

type={},
number={},
address={},
month={},
note={},
key={}
}