@inproceedings{HFB93,
title = { An executable temporal logic to express safety properties and its connection with the language \lustre },
author = {Halbwachs, Nicolas and Fernandez, Jean-Claude and Bouajjani, Ahmed},
month = {apr},
year = {1993},
booktitle = {Sixth International Symp. on Lucid and Intensional Programming, ISLIP'93},
address = {Quebec},
team = {SYNC},
}