@InProceedings{Tverdyshev:FMCAD09-164,
  author =       "Sergey Tverdyshev",
  title =        "A Verified Platform for a Gate-Level Electronic
                 Control Unit",
  pages =        "164--171",
  editor =       "Armin Biere and Carl Pixley",
  booktitle =    "Formal Methods in Computer-Aided Design, 9th
                 International Conference ({FMCAD} 2009)",
  year =         "2009",
  month =        nov,
  address =      "Austin, Texas, USA",
  publisher =    "IEEE Computer Society",
  ee =           "http://dx.doi.org/10.1109/FMCAD.2009.5351125",
}