@inproceedings{ckyclock03,
  title = "Specifying and Verifying Systems with Multiple Clocks",
  author = "Clarke, Edmund and Kroening, Daniel and Yorav, Karen",
  year = "2003",
  booktitle = "Proc.\ of the 2003 International Conference on Computer Design (ICCD)",
  month = "October",
  pages = "48--55",
  publisher = "IEEE",
}