1 files changed, 10 insertions, 0 deletions
diff --git a/Assignment1/library.bib b/Assignment1/library.bib
index fdd6dfd..6555f23 100755
--- a/Assignment1/library.bib
+++ b/Assignment1/library.bib
@@ -120,3 +120,13 @@
 	year      = 1985,
 	pages     = {733--749}
 }
+
+@article{Kupferman2001,
+	author    = {Kupferman, Orna and Vardi, Moshe Y.},
+	title     = {Model Checking of Safety Properties},
+	journal   = {Formal Methods in System Design},
+	volume    = 19,
+	issue     = 3,
+	year      = 2001,
+	pages     = {291--314}
+}