@inproceedings{CKS05,
  title = "Symbolic model checking for asynchronous {Boolean} programs",
  author = "Cook, Byron and Kroening, Daniel and Sharygina, Natasha",
  year = "2005",
  booktitle = "Proceedings of SPIN 2005",
  editor = "P. Godefroid",
  number = "3639",
  pages = "75--90",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
}