@InProceedings{islip1993_069,
   author      = {Nicolas Halbwachs and Jean-Claude Fernandez and Ahmed Bouajjani},
   title       = {{An Executable Temporal Logic to Express Safety Properties and its Connection with the Language Lustre}},
   editor      = {John Plaice},
   booktitle   = {{Proceedings of the 6th International Symposium on Lucid and Intensional Programming}},
   year        = {1993},
   pages       = {69--82},
   publisher   = {Laval University},
   address     = {Quebec City, Canada},
   doi         = {\url{http://plaice.web.cse.unsw.edu.au/archive/islip/1993/islip1993_069.pdf}},
   note        = {Held {26--27 April 1993}},
}