@Inproceedings{naumovich-clarke:property-specifications,
	author = "Gleb Naumovich and Lori A. Clarke",
	title = "Classifying Properties: An Alternative to the
  Safety-Liveness Classification",
	booktitle = "Proceedings of the Eighth International Symposium on the Foundations of Software Engineering",
	year = "2000",
        pages = "159--168",
        month = sep,
}