TY  - RPRT
TI  - Events in Linear-Time Properties
AU  - D. Paun
AU  - M. Chechik
PY  - 1999
DO  - 10.1109/isre.1999.777992
UR  - https://arxiv.org/abs/cs/9906031
ID  - cs/9906031
ER  -