K
[KV01] Orna Kupferman and Moshe Y. Vardi. Model Checking of Safety Properties. Formal Methods in System Design 19(3):291-314. Kluwer Academic, November 2001. 
@article{fmsd19(3)-KV,
  author =              {Kupferman, Orna and Vardi, Moshe Y.},
  title =               {Model Checking of Safety Properties},
  publisher =           {Kluwer Academic},
  journal =             {Formal Methods in System Design},
  volume =              {19},
  number =              {3},
  pages =               {291-314},
  year =                {2001},
  month =               nov,
}
List of authors