@ARTICLE {2698,
author={C. Caleiro and G. Saake and A. Sernadas},
doi={},
journal={Journal of Symbolic Computation},
title={Deriving liveness goals from temporal logic specifications},
year={1996},
month={January},
volume={22},
number={-},
pages={521-553},
ISSN={0747-7171}
}