@InProceedings{Schmaltz:FMCAD07-223,
  author =       "Julien Schmaltz",
  title =        "A Formal Model of Clock Domain Crossing and Automated
                 Verification of Time-Triggered Hardware",
  editor =       "Jason Baumgartner and Mary Sheeran",
  booktitle =    "Formal Methods in Computer-Aided Design, 7th
                 International Conference, {FMCAD} 2007, Austin, Texas,
                 {USA}, November 11--14, 2007, Proceedings",
  year =         "2007",
  pages =        "223--230",
  ee =           "http://dx.doi.org/10.1109/FAMCAD.2007.22",
  publisher =    "IEEE Computer Society",
}