@Article{HJ94,
author={H. Hansson and B. Jonsson},
title={A Logic for Reasoning about Time and Reliability},
journal={Formal Aspects of Computing},
year={1994},

volume={6},
number={5},
pages={512--535},
month={},
note={},
key={}
}